Initial code for a parser in ocaml

	new file:   ocaml/lexer.mll
	new file:   ocaml/main.ml
	new file:   ocaml/parser.mly
	new file:   ocaml/support.ml
	new file:   ocaml/test.e
	new file:   ocaml/validate.ml