a less noisy Travis CI bot IRC notification
Merge pull request #3971 from Mailaender/silent-travis

Made Travis CI bot IRC notifications less noisy