Collect additional metrics

[rmartinho]

Sometimes things other than time need to be measured. Nonius should support collecting additional metrics like, e.g., cache misses and branch mispredictions. Ideally this would be a generically extensible feature that users can use to collect any custom metrics they desire.