Able to reconnect after a short disconnection with the websocket
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
[frontend] Update codemirror.
Merge remote-tracking branch 'origin/ui-changes' into ui-changes
Made runner work on .h files
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
[frontend] Documentation comments.
Merge remote-tracking branch 'origin/ui-changes' into ui-changes
Seashell logo click closes project
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
[frontend] Clear editor on open question.
[frontend] Comment out docs.
Merge remote-tracking branch 'origin/ui-changes' into ui-changes
Add confirmation message before marmoset submit
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
[frontend] Hide/Show things properly on transitions.
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
Clear Marmoset projects from dropdown before adding them again
Merge branch 'ui-changes' of https://github.com/cs136/seashell into ui-changes
Merge branch 'ui-changes' of https://github.com/cs136/seashell

Conflicts:
	src/frontend/js/ui/menu.js