Wrote configure script from compiling for KLEE. It has several useful
features

- Detects LLVM bitcode compiler independent of what was detected
  at LLVM Configure time (clang and llvm-gcc are supported)

- Detected compiler is tested.

- Supports building native or bitcode library.

- Logging output. Full details logged to 'config.log' file.

- Unlike legacy klee-uclibc there are no
  seperate Rules.mak.* files. Now there is just one.

- Configuration method makes minimal changes to Rules.mak.
  A file Makefile.klee (created by configure) in included
  by Rules.mak. This is done so that merging with upstream uclibc
  will be easier.
Added more stuff to .gitignore (eurgh... I hate building in source)
Applied change originally made by DWD.

It appears that the use of a fixed size buffer was removed for
stdin, stdout and stderr. I'm not sure what rationale behind
doing this was.
Fix build on Linux kernel 3.11.6-1 (Arch Linux)
Added a hack originally added by DWD that prevented compiliation errors.

It seems uClibc provides its own definition of Linux kernel types
that tries to override the native system headers. It did define
_ASM_X86_64_POSIX_TYPES_H

but it appears that is not enough _ASM_X86_POSIX_TYPES_32_H and
_ASM_X86_POSIX_TYPES_64_H also need to be defined to prevent
later inclusion of the system header files (
/usr/include/asm-generic/posix_types.h on my system ).
Apply change originally applied by DWD:

Remove generation of target dependent assembly files (e.g. crtn.o) which
we don't need and may also make the build fail.
Added change originally made by CrC (Cristian Cadar?) that
replaces machine specific byteswapping macros with generic ones.

I guess the reason for doing this is to avoid versions that might
use assembly.
Apply change originally applied by DWD:

Change _ISbit macro to support little endian machines. The
implementation looks the same as that used by glibc.