Documentation and formatting changes for option.rs.
auto merge of #12965 : hatahet/rust/option_doc, r=alexcrichton