opam: fix typo
travis: only test on opam 1.2.0 due to local pin feature