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.
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
Fix implementation for putchar

According to manual: putchar() return the character written as an
unsigned char cast to an int or EOF on error.

Use return value of write to return the correct value for putchar.
Silence compiler warning about unused variable
Disable redefinition of functions
Fix test case to use llvm-link instead of llvm-ld
Silence warning of deprecated PathV1 usage
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
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Modified the buildmode of bitcode libraries.

The Default is Release+Asserts but if you are building KLEE with debug symbols (for example
"Release+Debug+Asserts" or "Debug+Asserts") then this breaks because KLEE will
look for the bitcode libraries in the wrong place because the
RUNTIME_CONFIGURATION macro is not defined to be what KLEE actually builds as.

This has been tweaked so that when we build the bitcode libraries the Makefile
variable "DEBUG_SYMBOLS" is correctly overridden.
Use new PathV2 interface for LLVM 2.9 and higher

Enable PathV2 interface starting from LLVM 2.9 and do some minor include
cleanup.
Fix compiling issues with llvm 2.9

Interface for ParseCommandLineOptions changed with LLVM 3.2
preserving constness for pointer to arguments.
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Revert "Use new PathV2 interface for LLVM 2.9 and higher"

This reverts commit 5c059018c02a7c7db252a3cb636a39c89c430a06.
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Merge pull request #20 from delcypher/remove_pointless_loop

Remove unnecessary loop from SolverTest unit test.
Fixed unused static function warning for forceImport