Let's release SMACK version compatible with LLVM 3.2 first.
Merge branch 'develop' of github.com:smackers/smack into develop