Initial versions of checks.json, grader.js