add websocket workarounds for tornado 3

WebSocketHandler.get is new in tornado 4