script for running grader.js and a small correction so debug messages do not go to stdout.