Tester: added option --coverage
Tester: implemented generating HTML file for code coverage