IRC tip bot in Python