Backport upstream changes to the opam package
Still a single package but backports changes from the upstream repo. Notable change: the name is
coq-mi-cho-coq instead of
mi-cho-coq as all Coq packages are prefixed by
coq-. Other change (of personal taste): in the README, advise to pin with
-k path instead of
-k git to be able to upgrade the package without creating a Git commit.