Introduced a command line option --clang that is used to pass command like arguments to clang when invoked from smackgen. Updated regression scripts to automatically compile files. Compiling regressions before running a regression script is no longer needed.