Switch to the docker-based infrastructure on Travis
Changed the autoloading to use PSR-4
Fix the testsuite to avoid tests to be marked as being risky
Rename test and fixture testcases to better names
Moved the check of predictions to verifyMockObjects

This respects the meaning of verifyMockObjects and keeps
assertPostConditions available for child classes without forcing to call
the parent method, making the ProphecyTestCase less intrusive for child
classes and more in line with the parent test case.
Add assertion count
Fix the assertion count for failed tests with non-delayed assertions