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
Handle constant arrays as well
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 pull request #13 from MartinNowack/FeatureConstantArrays

Patch Set IV - Handle constant arrays as well
Merge pull request #22 from antiAgainst/master

Add .gitignore
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.