Fix terminals with Tornado 3

The websocket handler auth checking was calling clear_cookie(), which threw an error because it doesn't make sense for Websockets. It doesn't seem important, and we silence it in our other websocket handlers, so silencing it here too.

Ping @fperez & @jhamrick who both reported this to me today.