msc: Add noVNC to replace tightVNC java applet
msc: Add web_def_use_no_vnc to activate noVNC instead of TightVNC applet
launcher: Add an INI switch to activate web_proxying
launcher: Include txws to create web proxies
pulse2-tcp-sproxy: Add websocket creation for HTML5 VNC