tox: generate HTML coverage report

This will be published in Jenkins.