Assertions generated in wait_group_events now carry source location information.
Refactored some code to check for quantifiers with CVC4.
Merge
Updated Boogie binaries
Added option for displaying loop abstractions
Prototype support for showing details of loop abstraction
Fixed data race issue in Boogie to do with modset analysis; related fixes required here.  Also fixed bug in cruncher to do with parsing of prover options.
Updated Boogie binaries which contain a fix
Worked on abstract trace explanation
Abstract trace reporting now shows accesses.
The parallel reutation engine was not launching Houdini at the same time as the under-approximating engines.
Fixed the code to now do this but will need to re-think how sliding and delaying Houdini is implemented
Merged
s/_offset/_offset_bytes/
Use pip everywhere instead of a mix of pip and easy_install
s/original/source/
Changed error reporting to report element offsets instead of byte offsets when possible, and updated tests.
Provided better race error messages for structs and vectors, resorted to byte-level error messages for multidimensional arrays, and added some tests
Used improved source information in loop abstraciton printing.  Also added equals and hashcode methods to source location info classes so that duplicates are not displayed.
Adjustments for new error reporting, and tests.
Update test and baseline