Nexus Upgraded from Jetty 7 to Jetty 8 now supporting WebSocket RFC6455

Nexus has been upgraded from Jetty 7 to the latest Jetty 8 which supports the RFC 6455 version of the WebSocket protocol.  This allows the use of the latest FireFox 13 and Google Chrome browsers and, of course, all of the improvements to both browsers, especially the HTML5 and WebGL support.  I've been holding back on updating because of the number of revisions the WebSocket protocol has been going through.  I wanted to spend my time on core Nexus development rather than just bumping the WebSocket revision support up a notch.  Fortunately, the revisions needed to the Jetty parts of the Nexus code were easy.  Thank you Jetty team!  An added benefit to the code update was the removal of a non thread-safe queue I was using which was causing intermittent crashes when using multiple clients on the Nexus server.