How to do a correct insensitive sorting of a string list in Python