travis.yaml: reduce verbosity