Fixed Feature/CallToUndefinedExternal.cpp test for llvm-lit (>= LLVM3.0) and improved
it by using the LLVM FileCheck tool.

We need to use the %T substitution variable for llvm-lit.
This is needed because in llvm-lit the working directory is
KLEE_BIN_DIR/test/Feature but the temporary directory (where the KLEE
files will go) is KLEE_BIN_DIR/test/Feature/Output

Unfortunately %T is not supported by llvm-lit in LLVM2.9.
Fixed Feature/DanglingConcreteReadExpr.c for llvm-lit (>= LLVM3.0).
This breaks the test for DejaGNU. There doesn't seem to be an
easy way to support both llvm-lit and DejaGNU here because the "||"
operator doesn't seem to work in DejaGNU.
Fixed Feature/DoubleFree.c test for llvm-lit (LLVM >= 3.0).
This test still passes for DejaGNU.
Fixed Feature/DumpStatesOnHalt.c for llvm-lit (LLVM >= 3.0).
Also added small check using LLVM's FileCheck tool.
Fix Feature/ExprLogging.c test for llvm-lit (LLVM >= 3.0). This
change breaks the test under DejaGNU.
Improve test Feature/InAndOutOfBounds.c by removing hard coding int size
of 4 and making use of the FileCheck tool.
Fix Feature/InAndOutOfBounds.c test for llvm-lit (LLVM >= 3.0). This
breaks the test for DejaGNU.
Fixed Feature/IntrinsicTrap.ll test for llvm-lit (LLVM >= 3.0). The
test has also been improved using the FileCheck tool. The test is
now broken under DejaGNU.