Documents some of the changes in PhpSpec's new version with Prophecy