Small fixes to evaluation
Some corrections and re-formulations in implementation
Some corrections and re-formulations in problem analysis
Improve ignoring of latex log files
Filled in some requirements