Add initial of basic auto-grader
Add more rules to checks.json