travis: workaround for opam 1.1 pin limits