Some changes to grader.js in order to support both local files and URLs from the command line.