[Python-Dev] Why list.sort() uses mergesort and not timsort?