add grader name to interactive grader log line (#2001)

Want to know which graders are taking a log time, so add grader name to log lines.  See bug #2001 for examples of log line before/after.