Travis: Use opam 1.2