fmbt-stats: added tagdist format

tagdist presents the number of tested actions that either
started from or lead to states with different tags.