Fixed regression/2008-03-04-free-of-global.c for llvm-lit (LLVM >= 3.0)
and improved testing KLEE's output by using FileCheck.

This test is now broken under DejaGNU.
Fixed Feature/Envp.c test for llvm-lit by using external shell so
that KLEE gets a shell environment.