Tweaked .travis.yml to use phpunit.xml.dist in order produce the clover file