update phpunit from 3.7 to 4.2