Install PHPUnit 3.7.x because else MediaWiki dies