Memory model enhancements.
* Added -mem-mod-dbg option to print memory reads and writes in Boogie traces.
* Added -mem-mod-impls option to generate implementations of $malloc, $free
  instead of bodiless procedures.
* Added -no-mem-mod-asserts option to generate $malloc, $free without asserting
  their preconditions; NOTE: this currently does nothing.
Command line option for source location debugging.
Added basic support for Corral.
Added entry points command line options. Refactored scripts so that they share source code for common command line options.
Merge branch 'corral-integration' into develop
Implemented smack-clang. Fixed a bug in smack-check.
Merge branch 'smack-clang' into develop
Added clang compilation step to SMACK's scripts. Removed headers folder.
Minor fix to README - headers folder removed.
Merge branch 'smack-clang' into develop
Added support for Corral on Linux.
Created regression scripts for Corral.
Merge branch 'corral' into develop
Renamed smack-clang to just smack.
Reorganized SMACK scripts.
Merge branch 'corral' into develop
Updated README to reflect recent changes. Using verifier instead of checker. Closes #18.
Merge branch 'corral' into develop
Memory map splitting.
* Using results of AliasAnalysis to split memory map into disjoint regions.
* Refactoring of SmackRep to modularize memory splitting.
* Also, cleanup of prelude across SmackRep subclasses.
Merge branch 'develop' of github.com:smackers/smack into develop