catch tornado.websocket.WebSocketClosedError

[oliver-sanders]

When a user closes or navigates away from the WUI the websocket is closed.

Currently this results in traceback appearing in the log, we should catch this exception and log it more nicely.