Websocket terminal in a Docker container