Travis: use OPAM 1.2 pin syntax