travis: tweak verbosity some more
travis: try an opam update