stabilize sorttable.js even if the underlying Javascript sort() is unstable