Remove files that we will need to update
There are the milestones https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/milestones/37#tab-issues and https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/milestones/36#tab-issues to add them back.
There are the milestones https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/milestones/37#tab-issues and https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/milestones/36#tab-issues to add them back.