merged gfc and gfi to one binary, and a shell script for gfc

bin/gfc

@@ -0,0 +1,3 @@
+#!/bin/sh
+GFBIN=/usr/local/bin/gf3
+exec $GFBIN --batch ${1+"$@"}