[Documentation:Developer] Update project ideas#661

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

update_project_ideasSubmitty/submitty.github.io:update_project_ideasCopy head branch name to clipboard