Check-in of grader.js and checks.json