add higlo 0.4
git pushMerge branch 'master' of https://github.com/OCamlPro/opam-repository
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
Merge pull request #2755 from zoggy/master

Add higlo 0.4