Revert phpunit to 3.7.* because 4.* is too slow sebastianbergmann/phpunit#1300