Add F3 partipation % to the metircs board

[jennijuju]

• add a graph that shows what is the % of the miner IDs are participating in f3
• add a table to list miner IDs that are not participating in f3

[masih]

Notes on how to approach this

First one becomes possible to do in Grafana once either of following is done:

• Add finality certificate capture to Observer #745
• Expose consensus critical metrics directly from gpbft #728

The second one needs at least #728. Then a query to add to the existing Observer dashboad to get the diff of observed senders from power table at instance (after we schema is expanded to indeed store power table entries and power per instance).