editing grader.js (to read htmlfile from web)