travis: switch to using opam 1.2