devel/phpunit7: Update to 7.1.3
Changelog: https://github.com/sebastianbergmann/phpunit/blob/master/ChangeLog-7.1.md