Remove IRC bot from Travis config (too spammy right now since no one is in IRC).