Able to reconnect after a short disconnection with the websocket
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes