Integrate ocamlmerlin