remove submodule tiamat in ocaml branch