add str.casefold() (closes #13752)
8 files changed