python-based IRC bot