Fixed Feature/MultipleReallocResolution.c test for llvm-lit (LLVM >=
3.0). This breaks the test for DejaGNU.
Fix Feature/OneFreeError.c for llvm-lit (LLVM >= 3.0). A FileCheck
test has been added too. This test now fails under DejaGNU.
Fixed Feature/OneOutOfBounds.c for llvm-lit (LLVM >= 3.0). The test
has also been improved by

* Removing hardcoded size for int
* Using FileCheck to check KLEE error message output

The test is now broken under DejaGNU.
Fixed Feature/OverlappedError.c for llvm-lit (LLVM >= 3.0). The test
is now broken for DejaGNU.
Fixed Feature/PreferCex.c test for llvm-lit (LLVM >= 3.0) and used
FileCheck instead of grep. This test is now broken for DejaGNU.