travis: be quiet.
Merge pull request #86 from carstene1ns/master

missing commit from #85