Use phpunit.xml.dist so developers can use their own phpunit.xml.