add wip mirage-net updates
mirari.0.9.7: working version
+working versions of mirage.0.9.5
bump mirari depends on mirage
correct dependency on mirage for mirage-net.0.9.4
mirage: update checksums to release checksums
Merge branch 'master' of github.com:mirage/opam-repository
Merge pull request #961 from mirage/master

mirage.0.9.5 release stream