add generic insertion sort logic
authorChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 13:41:05 +0000 (14:41 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 13:41:20 +0000 (14:41 +0100)

Trivial merge