fix travis to use opam 1.2.0 and correct opam repository branch