[Documentation:Autograding] documentation of system call filtering#680

bmcutler merged 1 commit intomainSubmitty/submitty.github.io:mainfrom

system_call_filteringSubmitty/submitty.github.io:system_call_filteringCopy head branch name to clipboard