Updated travis to look for the new PHPunit.xml.dist