Prettifies theindex link text.

The .idx file format was extended to contain two columns more, one with
the text of the href, one with a title which browsers render as popups.
Sorts entries in the one and only index also by link.
Tracks current document section for better index entries.
Adds docstring summary as title for index links.