HTML coverage report is generated by the run_test.sh script

Fix #12