test-coverage now also generates a html file (tests.html) that lists all the test code