Import ocamllex from Ocaml 4.01
Add -monad flag, to output code in an arbitrary monad