Cleaner regression test directory.
How to run Boogie has to now be specified beforehand using an environment variable called BOOGIE.
Untwisting hackery mostly accomplished.
Created a script for building SMACK and all its requirements on Linux.
Fixed a minor issues in the script - pull the main branch of SMACK.
Nearly completed refactoring.
* still finishing function pointers.
* not settled on the names of modules.
Reenabled variable arguments.
Function pointer dispatch reenabled.
Merge branch 'ext' of github.com:smackers/smack into ext
Added some notes / TODOs.
Merge branch 'ext'