A chatbot in Python for our IRC channel