Enhancements to diff_general#14

khatchad wants to merge 4 commits into

gradescope:mastergradescope/autograder_samples:masterfrom

khatchad:masterkhatchad/autograder_samples:masterCopy head branch name to clipboard