Tweaked set up of PHPUnit and Travis CI