Merge pull request #81 from delcypher/fix_unittest_llvm33_clang

Fix compilation of unittests under Clang.
Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450
( Fix compilation of unittests under Clang )
Do not install KLEE's internal libraries.
Do not install KLEE's header files. They are not for public
consumption.

The header files are normally installed
by the install-local target in the top-level
makefile.

See Makefile.rules ( "Install support for the project's include files" )
Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"

This reverts commit 1715ee37118cdf8785a1dd70d812b6a88ad623e7.

Conflicts:
	Makefile.common

Future commits are going to add a more way elegant to handle the
search for libraries in build/install directory.
The location of KLEE's runtime libraries (apart from klee-uclibc)
are now detected at runtime. This allows the correct location
to be used when klee is invoked from the build directory or
from its install location (i.e. make install)
klee-uclibc detection is now a lot cleaner. KLEE now assumes
it can find klee-uclibc inside the same folder as the other
runtime libraries with the name "klee-uclibc.bca"

This is implemented as follows:

* When building, a sym-link is created to klee-uclibc's libc.a file
  in the same directory that the rest of KLEE's runtime libraries
  are built. This done so that if a developer changes klee-uclibc
  on their system then the correct version of klee-uclibc is used
  by KLEE.

* When installing, klee-uclibc's libc.a file is installed in the same
  directory that the rest of KLEE's runtime libraries are installed.

In addition the configure script argument --with-uclibc can now
operate in two ways. It can either be passed the path to the root
of klee-uclibc or it can be passed a path to the libc.a file built
by klee-uclibc. This new behaviour has been added to allow users
to potential use pre-built versions of klee-uclibc.