Adding checks.json and auto grader