extra::getopts: update docs for minor renaming.
auto merge of #10399 : huonw/rust/get-opt-doc, r=alexcrichton