An IRC bot written in Python