Have separate coverage tracking for campaigns
Created by: eseliger
As discussed in todays sync, we would like to track coverage for campaigns code in an additional category, so we have insight how far we got in catching up with what remained untested during the big refactor of the campaigns workflow. This isn't very noisy, since it just adds one additional check to the PR, like the one for codeintel does.