4.02 is now a system switch, no need to build it separately
Merge branch 'opam-1.2' of github.com:avsm/opam-repository into opam-1.2
fix osx travis switches