Jacoco plugin: add raw number metrics to the API

API reports the percentages, but not the raw numbers. These numbers can be seen in the GUI (M(issed) and C(overed)), but appears to be unavailable via the API.

Since for example line counting varies a lot tool to tool, this would be very valuable, especially to determine if one tool is counting differently than another.