An IRC bot using PircBotX