• Expose (a subset of) the profile counters via an API.

    This will allow us to add external reporting of some of the profile
    stats for each test run in wrench.
    gw3583 committed Mar 7, 2017