Update travis to use opam 1.2