Update website for PHPUnit 4.2 release