Implemented smack-clang. Fixed a bug in smack-check.
Merge branch 'smack-clang' into develop