web-socket-js: 9e7663771 build and remove source.

web-socket-js now has all the functionality and fixes needed for noVNC
so remove the include/as3crypto_patched directory and the
include/web-socket-js/flash-src directory (i.e. the sources for
web-socket-js). This cleans up almost 3K from the include/ directory.

Update to web-socket-js build based on upstream (gimite/web-socket-js)
9e766377188.

include/vnc.js

@@ -11,7 +11,7 @@
 /*global window, document, VNC_uri_prefix */
 
 // Globals defined here
-var VNC_native_ws, WebSocket__swfLocation;
+var VNC_native_ws, WEB_SOCKET_SWF_LOCATION;
 
 /*
  * Load supporting scripts
@@ -41,7 +41,7 @@ function get_VNC_uri_prefix() {
         VNC_native_ws = true;
     } else {
         VNC_native_ws = false;
-        WebSocket__swfLocation = get_VNC_uri_prefix() +
+        WEB_SOCKET_SWF_LOCATION = get_VNC_uri_prefix() +
                     "web-socket-js/WebSocketMain.swf";
         extra += start + "web-socket-js/swfobject.js" + end;
         extra += start + "web-socket-js/FABridge.js" + end;