Merge pull request #1367 from pw374/master

omd.0.8.2
Merge pull request #1366 from mirage/master

+mirage clock libraries
+cstruct.1.0.0
Merge pull request #1368 from mirage/master

+cstruct.1.0.0
+crunch.1.1.0
crunch: update release
crunch: update installation steps
Merge pull request #1369 from mirage/master

+crunch.1.1.0
crunch: also remove library
+crunch.1.1.1
crunch: fix url
Merge pull request #1370 from mirage/master

+crunch.1.1.1
+crunch.1.1.2
Merge pull request #1371 from mirage/master

+crunch.1.1.2
+mirage-types.0.3.0
Merge branch 'master' of github.com:OCamlPro/opam-repository
Merge pull request #1372 from mirage/master

+mirage-types.0.3.0
+mirage-clock-unix/xen.1.0.0
Merge pull request #1373 from mirage/master

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