travis: reduce verbosity slightly