Add support for diff coverage reporting#331

jorgeAtViboo wants to merge 1 commit intoorgoro:mainorgoro/coverage:mainfrom

viboo-AG:add-diff-coverageviboo-AG/coverage:add-diff-coverageCopy head branch name to clipboard