But in practice phpunit.xml when is it used? What should it contain different from phpunit.xml.dist? Provide some examples (better more than one) concrete instead of the usual generic definitions.