Expands the HTML tags in checks.json, and gives grader.js the option of
pulling HTML from a live URL rather than just reading from a file.