Case-insensitive sorting.

Closes #17