Upgrade PHPUnit to 4.1

Needed to modify the Mockery test listener to make it compatible, and disable strict coverage checking, but otherwise not too much changed.