Split index entries into multiple HTML files.

This fixes problems (very long runtime, running out of memory) with
kindlegen v2.9.
Cleanup dead code.
Add instructions for Kindle Android app.
Use kindlestrip script to remove source records from mobi e-book.