Merge pull request #1762 from dsheets/master

Fix opam2web cow constraint to exclude 0.9
+github.0.8.1
Merge pull request #1763 from mirage/master

+github.0.8.1