Bare-bones versions of grader.js and checks.json