port to std::stable_sort

Authored by mlaurent on Mar 10 2019, 9:46 AM.