pythonic merge sort