Merge branch 'release-1.4.1'
fixed cmake scripts to support removal of 2d memory model
Updated to LLVM 3.5.0.
Makefile rules for installing scripts.
Switched linux build script to LLVM 3.5.
Updated cygwin build script to LLVM 3.5.
Ignoring annoying warning from smack/opt on OSX.
i.e. "warning: ignoring debug info with an invalid version"
Updated Z3, Boogie, and Corral versions.
Updated cmake build scripts.
Upgraded to mono 3.8.0.
Removed autoconf folder that we are not using any more.
Updated to mono 3.8.0.
Merge remote-tracking branch 'origin/build_fixes' into for-llvm-3.5
updated CMakeLists.txt to properly link with LLVM system libs
Revert "Removed autoconf folder that we are not using any more." As it turns out, configure needs it after all.

This reverts commit 08e597353808aebae4564b46bb2e441ec82fae6d.
Merge branch 'for-llvm-3.5' of https://github.com/smackers/smack into for-llvm-3.5
We do not need a special script for Ubuntu 14.04 any more.
config.h is deprecated and llvm-config.h should be used instead.
fixes to cmake build
Merge branch 'for-llvm-3.5' of https://github.com/smackers/smack into for-llvm-3.5