Coverability: Add markings as comments to the output

Signed-off-by: Uli Schlachter <psychon@znc.in>