serving html coverage reports, fixes #9