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.
Merge pull request #6820 from takluyver/terminals-tornado-3

Fix terminals with Tornado 3