Add grader.js and its supporting stuff.