Initial versions of check.json and grader.js