Allow configuring which WebSocket versions Jetty 7/8 should accept