Add case insensitive file systems support in rustdoc#83612

GuillaumeGomez wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:case-insensitiveGuillaumeGomez/rust:case-insensitiveCopy head branch name to clipboard