Use the public Git opam-repo in Travis