Add option to ignore covers annotation#573

BackEndTea wants to merge 1 commit intosebastianbergmann:mastersebastianbergmann/php-code-coverage:masterfrom

BackEndTea:feature/ignore-covers-annotationBackEndTea/php-code-coverage:feature/ignore-covers-annotationCopy head branch name to clipboard