Checking in the doc file for "timsort". There's way too much here to

stuff into code comments, and lots of it is going to be useful again (but
hard to predict exactly which parts of it ...).