Fix mirage build and removal
Merge pull request #1393 from samoht/master

Fix mirage build and removal
+mirage-types.0.5.0
+mirage-net-unix.1.0.0
Merge pull request #1395 from mirage/master

mirage-net-unix and mirage-types.0.5.0
+mirage-console-xen.1.0.1
Merge pull request #1396 from mirage/master

+mirage-console-xen.1.0.1
Merge branch 'master' of git://github.com/ocaml/opam-repository