warning when custom coverage is above or equal to global coverage#43

frankdekker merged 2 commits into123inkt:master123inkt/phpunit-file-coverage-inspection:masterfrom

anne-gaelle123inkt:masterCopy head branch name to clipboard