Tweak travis settings, less IRC spam.