Add PHPUnit 4.0 phar