Draft: Check compatibility of the protocol environment with Coq 🐔

Context

In this merge request with add the check of the compilation of the protocol's environment to Coq. We use coq-of-ocaml to do the translation and run Coq on the generated files to make sure it compiles in Coq. This is related to the issue #1484 (closed)

Manually testing the MR

Check that the CI is green.

Blocking

Requires an upgrade of coq-of-ocaml due to some bugs in the translation of the environment file. See the MR opam-repository!179 (closed) for the upgrade.