Added KLEE based changes from klee.llvm.org
Use invocation name of application
Delete Rules.mak as generated by configure
Use gcc+dragonegg to build uclibc
Fixed build with newer kernels
Fixed missing symbol for libm/s_finite.c
Added/mockup __overflow function
Fix underflow handling callback to KLEE
Fixed compilation for newer kernel versions

More details under: http://stackoverflow.com/questions/18598995/building-uclibc-linux-3-10-2-debian-jessie-x86-64-fails-due-to-missing-types
Added missing changes for LLVM 3.3 (use llvm-link)