Slight refactor of code initialising memory for argments/environment c-strings
so that it is easier to read.
Warn if compiler is not found to build .ll files
Use llvm-link instead of deprecated llvm-ld
Add support for dejagnu as removed from LLVM 3.2

Added support for dejagnu to still allow tests to be executed under
LLVM 3.2.
Merge pull request #14 from MartinNowack/BuildSystem

Patch Set V - Build system
Merge pull request #9 from delcypher/refactor-arg-init

Slight refactor of code initialising memory for argments/environment c-strings
BFS searcher.
Renaming solver-related command-line options in order to decouple them from STP. More specifically, command-line options max-stp-time, use-forked-stp and stp-optimize-divides renamed to max-solver-time, use-forked-solver and solver-optimize-divides, respectively.

Option of running the SMT solver in a separate process (i.e. forked) set to true by default.

Options of running SMT solver forked and with optimized divides made available to Kleaver as well.
Methods getConstraintLog() and setTimeout() made virtual and moved from STPSolver to base Solver and SolverImpl classes, and consequently redefined in derived classes to call the corresponding methods down the solver chain. Method setTimeout() renamed to setCoreSolverTimeout().
TimingSolver and constructSolverChain() no longer coupled with pointers to STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
ObjectState::concreteStore initialised.
Merge branch 'master' of https://github.com/ccadar/klee