migrated to ning for web socket interface provider

we no longer need jetty for the WebSocketOperator.  Please approve.