quicksort.  This should be much faster if there are lots of
duplicates, and otherwise at least as good.