travis: Test with opam 1.2. as well