Bump PHPUnit to 4.0

Since [PHPUnit](http://phpunit.de/) 4.0 was officially released, let's make use of it.