Import the content of the repository previously hosted on https://gitlab.com/clarus1/coq-tezos-of-ocaml