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

Picking up from where @yilongli left it.
@dwightguth please review.
This is actually a tag from Stratego, I want to make the distinction between the sort and the Tag, just in case it changes. In any case, it should be removed with the new parser.