[Documentation:Developer] update project ideas list#731

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

gsoc_26Submitty/submitty.github.io:gsoc_26Copy head branch name to clipboard