Travis CI: IRC bot should use CTCP notify in favor of plain messages