A simple WebSocket proxy server implemented in Python 3.