[Documentation:Developer] update project ideas (continued)#662

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

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