Major mode for editing GF code, with support for running a GF shell.