Sorting files by name case-sensitive or case-insensitive

[Angelk90]

It would be nice to be able to choose whether to display files using case-sensitive sorting (where uppercase letters come before lowercase ones) or case-insensitive sorting (ignoring whether letters are uppercase or lowercase when comparing them).

[SomeoneToIgnore]

#4533