+mirage-types.0.4.0
update existing constraints to bind them to mirage-types-0.3.0
+mirage-console-unix.1.0.0
+mirage-console-xen.1.0.0
Merge pull request #1388 from mirage/master

mirage-types-0.4.0