Fixed #5996 (false positive: Clarify calculation precedence for '+' and '?'.)
htmlreport: on the index page, print stats of which warning ID occured how often.