Make Travis use phpunit.xml.dist