The BatchPruneCount metric is not used by the proposer, so this is moved
into he sequencer's extended metrics. Also adds additional tooling for
extending metrics.