 External merge sort

A sorting algorithm that sorts memory-sized runs and merges them using storage-backed passes. It can also eliminate repeated database tuples.