Improve branch and path coverage presentation in HTML report#1141

sebastianbergmann wants to merge 5 commits intomainsebastianbergmann/php-code-coverage:mainfrom

feature/branch-path-coverage-improvementssebastianbergmann/php-code-coverage:feature/branch-path-coverage-improvementsCopy head branch name to clipboard