updating changes in index.html, and tracking grader.js and checks.json