Use opam 1.2 for travis.