htmlreport: on the index page, print stats of which warning ID occured how often.