Adding overall coverage stats (fixed #131)