echo service and client for web sockets

Changed websocket servlet to echo messages back to sender,
added a simple jquery-powered websocket client.html to verify
that things are wired up correctly.