Experiments chapter: incorporated Ondrej's comments + several badboxes resolved.
Results chapter: incorporated Ondrej's comments.
Results: report times in hours (up to 1 decimal place) instead of too-detailed hh:mm:ss format.
Incorporated Ondrej's comments and badboxes resolved in the Installation and Usage chapters (and Bibliography).