trim slides slightly
switch to opam 1.2 for travis deployments