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
Merge branch 'develop' into code-contracts

Conflicts:
	bin/smackverify.py