Initial check-in of checks.js and grader.js.