Merge pull request #1 from delcypher/klee_monolithic

Build fixes and improved configure script.
Merge branch 'klee_monolithic' of github.com:ccadar/klee-uclibc into klee_monolithic