Now using gnomesort for sort_echelon

A bit more efficient than the previous algorithm. Documented in a
good-to-read form in swapsort.c