Renamed smack-clang to just smack.
Reorganized SMACK scripts.
Merge branch 'corral' into develop