[Documentation:InstructorUI] Gradeable Config Editor#707

JManion32 wants to merge 5 commits intomainSubmitty/submitty.github.io:mainfrom

gradeable-config-editorSubmitty/submitty.github.io:gradeable-config-editorCopy head branch name to clipboard