Add auto-configuration for Jetty 9's WebSocket support

Closes gh-1269