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


I don't add the full list of contributors to the composer file. This would be impossible to maintain. I only list the maintainers here. for the full list of contributors, the github contributor page lists them.