Add export_name to the attribute whitelist and a description in the rust manual
auto merge of #16500 : jackheizer/rust/export-name, r=alexcrichton