Improved merge-sort implementation for lists
The new implementation is simpler and more efficient than the previous
bottom-up sort. It only differs from the original patch aesthetically.
STABLE-SORT-LIST is also now MAYBE-INLINE, to enable selective inlining.
Thanks to Takeru Ohta for the code and for his patience.