[of_ocaml] Add generated Coq code from the Tezos protocol with some proofs

Status Job ID Name Coverage
  Build
passed #475462477
coq:8.11

00:14:34