WEBrick Servlet that supports WebSocket