Moved Makefile to ocamlbuild, moved context to context.ml. Lexing does not distinguish between toplevel variables and local variables anymore.