add websocket workarounds for tornado 3

WebSocketHandler.get is new in tornado 4
Don't resend kernel info requests if a bad reply is received