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
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.
Link against shared library from LLVM correctly

Searching for the LLVM library was conducted in the Klee project.
This patch searches in the LLVM build directory.
Fix constness warnings issued by gcc 4.7
Fixed warning about unused variable