fedimint-metrics 0.2.0-rc9

fedimint-metrics allows exporting prometheus metrics from Fedimint.