Several bugfixes and features

Hi,
Before me repeating all the commit messages,
in general it contains bug fixes to allow klee to be compiled
and used with llvm 3.3 including running test suite.
Plus several mem leaks and typos.