phpunit.xml: renamed to phpunit.xml.dist (which phpunit finds automatically)