General cleanup.
* Putting all our code in namespace 'smack'.
* Removing 'using namespace llvm' to make llvm references explicit.
  (I am frequently confused between LLVM-world objects and SMACK-world objects.)
* A few tiny fixes here and there.