Websocketproxy: fixes
Htmleditor: use ws instead of wss: chrome does not accept self signed ssl certificates