S9 LIB  (mergesort procedure^2 list)  ==>  list

Sort lists using the mergesort algorithm. PROCEDURE^2 is a
binary predicate that describes the desired order. The original
list is not changed.

(mergesort <= '(5 3 7 9 1))  ==>  (1 3 5 7 9)
