resolve error messages from the log file for makeindex

try to resolve some of the warning messages, too

add commands to the makefile for checking the log file for
error messages and warning messages.  Signal an error
if there are any error messages.

( #94 )
Merge branch 'master' of github.com:HoTT/book