added command parsing
merged with command parsing
added ocamllex/ocamlyacc grammar for user commands