Revert "Removed autoconf folder that we are not using any more." As it turns out, configure needs it after all.

This reverts commit 08e597353808aebae4564b46bb2e441ec82fae6d.
Merge branch 'for-llvm-3.5' of https://github.com/smackers/smack into for-llvm-3.5