Make a special coverage tox run