Removed 2D memory model.
Merge branch 'removing2d' into develop
First commit of smackreach.py.  Includes basic regression tests (subject to change based on tool design decisions)
new smackreach.py output sort order and new regression tests
Updated build scripts to the latest versions of Corral and Boogie.
Ubuntu 14.04 moved to almost the latest version of mono and so now there is no need to build mono from scratch.
Change to expectation for if3.c regression
Merge branch 'develop' into feature-reachability
Merge branch 'feature-reachability' into develop
Renamed smack-verify into smackverify due to naming issues related to Python modules (Python does not like to have '-' in module names).
Added a simple example into help showing how to pass arguments to clang.
smackreach now uses info from clang's -Wunreachable-code to augment its results
Merge branch 'develop' into feature-reachability
Merge branch 'feature-reachability' into develop

Updating smackreach to use info from Clang's -Wunreachable-code flag.
latest server implementation
Added a blurb to collect references to SMACK.
Fixing a typo.
Bumped version number to 1.4.1
Merge branch 'release-1.4.1' into develop
First steps to adding code contracts.
* Cleaned up code generation visitor.
* Generalized code generation to include code expressions.
* Added prototypes for `requires`, `ensures`, `forall`, etc.
* Collection of specifications.
* TODO slicing for argument values to `requires` and `ensures`.