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.
A few more fixes.
* Removing C++ name demangling; this is better done with c++filt.
* Factored the GetElementPointer translation codes.
* Added constant IntToPtr expression translation.
* Renamed the translation functions in the Value class.
Fixed compilation problem on Ubuntu 12. #fixes #11
* Compiler did not like NULL as default value for vector of smack::Expr pointrs.
Merge branch 'master' of github.com:smackers/smack
Several extensions & consolidations.
* Additional Boogie expressions & statements (and_, impl, havoc)
* Rename : SmackInstVisitor -> SmackInstGenerator
* Rename : SmackGenerator -> SmackModuleGenerator
* Handling of phi-node assignments and branching in SmackInstGenerator
* New : handling of LLVM switch instruction
* Removed : limit on variable argument list size
* New : (UNSOUND) ignoring inline assembly calls
* New : (UNSOUND) ignoring unresolvable procedure calls
* New : handling of LLVM select instruction
* New : handling of LLVM PtrToInt expression
Updated our README file with some new info related to the installation procedure.
Minor additional fixes.