travis: really enable the IRC bot