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.
Merge pull request #78 from delcypher/fix_klee_install

Fixes klee install.  Adds support for passing libc.a files to --with-uclibc.
Fix build system so that ktest-tool and klee-stats can be installed
under release build.

The problem is that under release build the install command is told
to strip symbols from the tools. It tries to do this for the python
scripts and fails.

This commit hacks this by requesting that symbols are not stripped
from the python scripts.
Fixed race condition in parallel build where a symbolic link
(for klee-uclibc)
would be created before the destination directory existed.