case insensitive & unicode sorting

As per https://github.com/DataDog/dogweb/issues/4824, we now sort case insensitively & wrt unicode.