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 569f6f8a1958c4864232af46457afcc125190a43 for examples of log line before/after.