Merge pull request #1496 from mirage/master

+opam-doc.0.9.2
Higher 0.1.
Merge pull request #1497 from yallop/higher-0.1

Higher 0.1
Rename higher-0.1 to higher.0.1
Merge pull request #1498 from yallop/higher.0.1

Rename higher-0.1 directory to higher.0.1
add draft cowabloga package
[cowabloga] update url to pre-release
[cowabloga] tweak descr
[cowabloga] forgot ssl
Merge pull request #1499 from mor1/master

first public release of cowabloga
+mirage-types.1.0.0