Merge pull request #1364 from mirage/master

+mirage-types.0.2.0
Merge pull request #1365 from mirage/master

+io-page-unix.0.1.0
+mirage-clock-unix
+mirage-clock-xen