Add coq2scala with latest ocaml