An efficient external merge sort implementation.

See the documentation for more.