add missing compiler constraints for herelib
Merge git://github.com/OCamlPro/opam-repository
add missing compiler constraints >=4.00.0
sonet broken on ocaml3
patdiff depends on ocaml4
Merge pull request #416 from mirage/master

compiler version constraint fixes