Travis: use opam 1.2.0