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)