A distributed HTTP and websocket proxy