Draft: Modifications to run coq-of-ocaml

I created this merge request to be easier to check the changes needed to run the translation mligo -> coq-of-mligo, it's not suppose to be merged.