add more strict constraints to opam_repo to ease dependency resolution
When running the script opam_repo,tezos packages can be selected from the tezos releases on the default opam repository on gitlab, and from the local dev packages.
This MR constraints the dependency resolution to the dev packages, helping the solver to find a suitable solution.
Also, I add a conflict in lib_crypto
to mirage-crypto
that is no longer a dependency of
the project.
Edited by pietro