Tester: implemented generating HTML file for code coverage