Bug fix for the page numbers in the index - these were often out by a few pages.
The makeindex command was being run too early in the repetitive LaTeX compilation chain, causing the
page numbers to be incorrect. It is now run twice to fix the problem.
