Add source files in .html format for grader