Case-insensitively sort a string list.
This is an efficient, stable mergesort for string lists based on istr< and implemented with the ACL2::defsort book.
