Remove references to obsolete `do` keyword

Also add the new `proc` keyword to the documentation.
auto merge of #13332 : mbrubeck/rust/doc-edit, r=huonw

Also add the new `proc` keyword to the documentation.