Correct installation of opam in Travis