Tool to import Coq code from OCaml.