Indicate number of comments in tab headings

This way there is more clear there are some of them (issue #299).