An IRC-bot written in Python for our class channel