An IRC bot written in python