Handle non-existing actors gracefully in F3 power proportion CLI
When calculating proportional F3 participation power for a given actor
IDs instead of failing when an actor isn't found, collect the
non-existing ones and report them. This makes up a better UX when
debugging F3 in cases where actors don't exist in the F3 power table.
* Implement F3 CLI to list power table and proportional power at instance
Implement utility CLIs to:
* get the power table used by F3 at a given instance ID.
* get total proportional power of a list of actors at a given instance
ID.
These utilities allow us to debug the exact participation power for an
instance without having to manually calculate it or estimate it from
the latest power.
* Update changelog
* Address lint issue
* Regenerate CLI docs
* Take instance ID via flag and actor IDs as args
* Reduce indentation by defiling top level vars
* Work around bug in docsgencli by using one-liner usage
* When no range is given, default limit to 10
* Otherwise default to unlimited.
This is better than the current default of always unlimited because:
* there are a lot of certs, and
* when range is given the chances are the user wants all of them.
Addresses https://github.com/filecoin-project/lotus/pull/12627#discussion_r1815426539
Implement `lotus f3` CLI sub commands to:
* Get a specific finality certificate, either latest or by instance ID.
* List a range of finality certificates
Part of #12607
Implement `lotus f3` CLI sub commands:
* `manifest` to dump the current F3 manifest in either JSON or text.
* `list-miners` to list the current F3 participants.
* `status` to print summary status of F3.
Part of #12607
