Updated configure.ac to use python3 compatible command.
Modified ktest-tool so that it is compatible with python3.
Slight refactor of code initialising memory for argments/environment c-strings
so that it is easier to read.
Fix typo
Fix typo
Handle additional debug intrinsics of LLVM
Merge pull request #10 from MartinNowack/Typos

Fixed typos.
Merge pull request #16 from MartinNowack/DebugSymbols

Patch Set VII - Handle additional debug intrinsics of LLVM
Implemented llvm.umul.with.overflow
Merge pull request #18 from MartinNowack/FeatureUMulOverflow

Patch Set III (update) Implemented llvm.umul.with.overflow
Warn if compiler is not found to build .ll files
Use llvm-link instead of deprecated llvm-ld
Add support for dejagnu as removed from LLVM 3.2

Added support for dejagnu to still allow tests to be executed under
LLVM 3.2.
Merge pull request #14 from MartinNowack/BuildSystem

Patch Set V - Build system
Merge pull request #9 from delcypher/refactor-arg-init

Slight refactor of code initialising memory for argments/environment c-strings
Remove unnecessary loop from SolverTest unit test.
In QueryLoggingSolver call flush() on std::ofstream so that queries
get correctly logged if an assertion failure is hit later on.
Add .gitignore
Add Debug and Debug+Asserts in .gitignore.
Port to LLVM 3.3

Major changes are:
- Switching to llvm-link to build archive files
- Use GetMallocUsage instead of GetTotalMemoryUsage (be aware of bug in
  LLVM 3.3 http://llvm.org/bugs/show_bug.cgi?id=16847)
- intrinsic library functions like memcpy/mov/set use weak linkage to be
  replaced by e.g. uclibc functions
- rewrote linking with library
- enhanced MemoryLimit test case to check if mallocs were successful