Nicer output of SMACK scripts.
Updated regression test scripts to the new format of SMACK output.