Update documentation for PHPUnit 4.1 release