Update the the total discoveries counter with the real number of issues

[SlimTrabelsi]

The current version of the Discoveries counter is displaying the total number of discoveries including the false positive ones. This counter should be improved to display the total real leaks and the total discoveries.