Write a specification for BridgeDB's metrics

Now that BridgeDB exports metrics (#9316 (moved)), it's time to specify the format of these metrics, allowing third parties to write parsers.