[Documentation] update websocket debugging docs#711

bmcutler merged 2 commits intomainSubmitty/submitty.github.io:mainfrom

fix_socket_docsSubmitty/submitty.github.io:fix_socket_docsCopy head branch name to clipboard