Update klee-uclibc to version 1.4 / rev 24 via SR 1146145
https://build.opensuse.org/request/show/1146145
by user jirislaby + anag+factory
- generate debuginfo into the lib using -g
- do not configure with --enable-release as "things might break" (and they do).