Created an SVCOMP specific script for running SMACK.
Merge branch 'svcomp2015' of github.com:smackers/smack into svcomp2015