a MUD proxy written in Python