Merge pull request #1403 from samoht/master

Mirage 1.0.0
also update mirage-net md5
Merge pull request #1405 from mirage/master

also update mirage-net md5
Fix mirage 1.0.0 constraints
Merge branch 'master' of github.com:ocaml/opam-repository