travis: fix pin syntax for opam 1.2