Removed testing-env file.  As for testing-dir that was removed in a
prior patch, this is part of the CU experiments and doesn't really
belong here.
Merge branch 'master' of https://github.com/ccadar/klee