Quiet down IRC notifications by Travis