Created two Python scripts for creating Boogie files and running SMACK.
Putting inline to all procedures.
Calling smack.py when runnning regressions.
Removed old bash scripts.
Updated README file with new names of scripts.