feat(metrics): Add peer metrics for Lean#1087

KolbyML merged 1 commit intoReamLabs:masterReamLabs/ream:masterfrom

varun-doshi:varun/peer-metricsvarun-doshi/ream:varun/peer-metricsCopy head branch name to clipboard