travis: switch to new opam 1.2.0 pin based workflow