build with opam 1.2 by default and reduce verbosity of travis