Added -q flag to suppress verbose logging
Applied patch by Adam Chlipala adding comments and minor refactoring
Increased max_pred_locks_per_transaction which fixes transaction problems for Ur/Web
Removed manual minHeap
Renamed UrWeb directory to urweb
Specified minimum Ur/Web vesion

Based on conversation in https://github.com/TechEmpower/FrameworkBenchmarks/issues/686
Merge pull request #686 from pseudonom/master

Ur/Web refinements