Review of GEODE-6295: Add Micrometer-based metrics system #3277

[Kirk Lund]

Please review GEODE-6295: Add Micrometer-based metrics system #3277 if you
have time:
https://github.com/apache/geode/pull/3277

Thanks,
Kirk