Update PHPUnit to its new major version

4.0 and 4.1 would not be allowed by the ``~3.7`` constraint