editor: implement websocket support
editor: implement websocket ping-pong
editor: implement websocket close