Fixed Feature/MakeConcreteSymbolic.c test for llvm-lit. The test is now
broken for DejaGNU.
Fixed Feature/MultipleFreeResolution.c for llvm-lit (LLVM >= 3.0).
Additional checks have been added that use the FileCheck tool. This test
is now broken under DejaGNU.