An IRC server written in Python