Add --url option for grading an external html file