Merge pull request #6153 from AndersHoglund/travis_verbosity