Support tracking variations.

Variations are not properly tracked on distribution metrics. To fix this, use a
dedicated 'mantis issues' counter to do the tracking. It also allows displaying
the number of issues in the 'Measures' tab, and the mantis issues counter now
displays an integer.