WebSocket server that supports real-time multiplayer games, using WebSockets