initial commit towards an executable smack tool
cmake script for building the smack executable tool
extended cmake for dsa and assistDS libs
tool working - need to fix output
improvements and fixes to the smack tool
code cleanup
added I/O error handling
removed the debug option as apparently it caused some problems with opt's own debug
Merge branch 'develop' into smack2tool
fix for output filename
added option in llvm2bpl.py for enabling the executable smack tool instead of loading the dynamic library to opt
added option --tool in the bin scripts and regression test scripts for enabling the smack executable tool instead of dynamic lib
fixes to CMake for Windows
quick fix in CMake script: dsa to DSA
quick fix: include/DSA should actually be include/dsa
fix: removed hardcoded C++11 flags from the CMake script
fix: removed enum name 'Colours' when trying to change the colour of the command line output message
added install support in CMake and code tab to space fix
added support for /configure build of the smack executable tool
Changed default output file name of smack tool to a.bpl. Also minor fix to llvm2bpl to work with smack tool.