Added change originally made by DWD

I really don't understand why this change was made.

the

 #define GETC(SC) __fgetc_unlocked((SC)->fp)

also seems very pointless because in the default .config this
code is not even touched because __UCLIBC_HAS_WCHAR__ is defined.
Added KLEE README file.
Fix generation of system calls for clang