travis: do not send notifications to IRC

Let's avoid flooding the IRC channel.