KLEE uClibc v1.2

This release contains many changes. Thanks to all contributors:

• C99 support by default. (@delcypher)
• Disabling libm_* functions by default. (@delcypher)
• Travis Maintainance. (@andreamattavelli)
• Support for newer glibc versions. (@jirislaby)
• Correct Kernel header detection. (@Mic92)
• Make builds more deterministicly. (@bmwiedemann)
• Removed support for older LLVM 2.9. (@andreamattavelli)
• Fix compilation if __STDIO_HAS_OPENLIST is undefined. (@SolalPirelli)
• Updated Readme.md. (@ccadar)
• Backport of PR 4964 to fix pointer error in newlocale. (@kren1 @MartinNowack)
• Enabled locale support and program invocation name by default. (@MartinNowack)
• Backport of strtol*() with xlocale fix (on e.g. x86_64). (@aldot @MartinNowack)