Better documentation in phpunit.xml.dist