Added the PHPUnit Randomizer plugin.

Refs: sebastianbergmann/phpunit#1408