Added an option for grader.js to check HTML from URL.