an IRC bot in Python