A simple IRC bot for Christmas