Replace fprintf with klee_warnings for POSIX lib
Enable test case again
Merge pull request #157 from MartinNowack/fix_posix_printout

Fix a possible deadlock.