Use opam 1.2 in Travis CI