WebSocket client and server implementation for Python Trio
