Makefile: fix dependencies calculation
Travis: building `opam-check` before running tests
Add comments in `OpamGlobals.mli`
Remove `opamTypes.ml`
Add missing mli dep in Makefile
Merge pull request #1475 from OCamlPro/hnrgr-mf-fixes

Makefile fixes (rebase of #1366)