Added clang compilation step to SMACK's scripts. Removed headers folder.
Minor fix to README - headers folder removed.
Merge branch 'smack-clang' into develop