Let tox.ini run coverage

Give tox.ini a target to run the coverage report, which get generated
in the top directory under cover and can be viewed nicely in a web
browser.