Add `extra::getopts::short_usage`

This complements `usage` by auto-generating a short one-liner summary
of the options.
auto merge of #12001 : yuriks/rust/getopts-tweaks, r=brson

This complements `usage` by auto-generating a short one-liner summary
of the options.

(First timer here, be gentle... :)