Merge pull request #1372 from mirage/master

+mirage-types.0.3.0
Merge pull request #1373 from mirage/master

+mirage-clock-unix/xen.1.0.0
+crunch.1.2.0