Change phpunit.xml.dist configuration for Travis CI