phpunit.dist.xml: update coverage filters