php-phpunit-PHP-CodeCoverage: spec license