Auto merge of rust-lang#9709 - koka831:chore/remove-unnecessary-files, r=flip1995

chore: remove unnecessary files

removes document text files that are no longer needed by rust-lang#9541.

changelog: none

r? `@Alexendoo`

Author: bors