Batch grader fixes -- handle submissions giving standard output