Run again if .idx file changed (in addition to checking .aux file). Also, when done, print number of compilations and total elapsed time.