Added merge sort in GAP.