A Python WebSocket server