Remove the KSorts file that still used the old String representation for Sort

Picking up from where @yilongli left it.
@dwightguth please review.