Move test case methods into a trait

This PR moves the functionality of the TestCase into a trait. This allows you to include it in any `PHPUnit_Framework_TestCase` instance without having to extend `ProphecyTestCase`.

M


This trait will breka if used in anything else than a PHPUnit_FRamework_TestCase, and it will not play well with any other trait/testcase using the PHPUnit extension points