Run makeindex when *.idx files were created during PDF build.

This allows to create indexes easily just by using the latex commands.
The builder takes care that the index is built and the PDF rebuilt properly.