Fix using assembler addresses for global variables

Format of assembler address strings are different
with newer LLVM version (They don't have a prefix anymore).

This fix takes care of newer LLVM versions (>=3.3) as well.
Fix lseek and getdents

Wrong data types and casts led to wrong values on 64 bit machines
with high values filedescriptor positions.

Fixes DirConsistency and DirSeek test case
Add additional note that testcase might fail if
uclibc is compiled without symbolic printf support
Remove unused testing-dir
Merge pull request #69 from MartinNowack/fix_runtime_posix

Fix runtime posix
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
Merge pull request #67 from MartinNowack/fix_asm_address

Fix using assembler addresses for global variables
Fix timer leak
Free used constants if not used anymore

Fixes memleak
Fix unitialized value
Close file descriptors used for warnings and messages
Merge pull request #11 from MartinNowack/Memleaks

Patch Set II - Memleaks
Deprecate LLVM 2.8 and lower
Remove stoppoint references
Merge pull request #72 from MartinNowack/deprecate_llvm28

Deprecate LLVM 2.8 and lower and remove support for it