Implement the merge part of CLRS3 merge sort