Fix
Undocument PHPUnit_Framework_TestCase::getMock()
Document the support for Prophecy