Better grader error display#376

gkreitz merged 6 commits intoKattis:masterKattis/problemtools:masterfrom

Matistjati:grader_error_handlingMatistjati/problemtools:grader_error_handlingCopy head branch name to clipboard