A WebSocketServlet for Jetty 9 that offloads WebSocket communication to core.async channels.