Travis: init directly from opam-repo git trunk