Our little IRC bot, written in Python 3 using tornado.