phpunit.xml.dist - remove html logging and process uncovered files for speed