an irc bot in python