Python Websockets Example: Shared editor