[Feature:Developer] Containerize docs site#767

roye2 wants to merge 5 commits into

mainSubmitty/submitty.github.io:mainfrom

containerize-docs-siteSubmitty/submitty.github.io:containerize-docs-siteCopy head branch name to clipboard