Add facilitator-pubkey option to flashproxy-client

Which will pass the option to the appropriate registration helpers.
Also documents the new options in the manpages.
ChangeLog for #8800.
Regen man pages.