Adding more WebSocket doc
Merge branch 'master' of github.com:jetty-project/jetty-documentation
Merge branch 'master' of github.com:jetty-project/jetty-documentation
Deprecating jetty 7/8 websocket doc
Fixing jetty version in logging examples