sorting a list of strings much faster than std::sort().