Changed configuration method to make minimal changes to Rules.mak.
Instead a file Makefile.klee (created by configure) in included
by Rules.mak.

This is done so that merging with upstream uclibc will be easier.