Make OFSortedList sort stable.

This means that if two or more equal objects are added, the order in
which the objects were added is kept.