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 'bfs' of https://github.com/antiAgainst/klee into antiAgainst-bfs
Merge branch 'master' of https://github.com/hpalikareva/klee into hpalikareva-master
Updated configure.ac to use python3 compatible command.
Modified ktest-tool so that it is compatible with python3.
Slight refactor of code initialising memory for argments/environment c-strings
so that it is easier to read.
Fix typo
Fix typo
Handle additional debug intrinsics of LLVM
Merge pull request #10 from MartinNowack/Typos

Fixed typos.
Merge pull request #16 from MartinNowack/DebugSymbols

Patch Set VII - Handle additional debug intrinsics of LLVM
Implemented llvm.umul.with.overflow
Merge pull request #18 from MartinNowack/FeatureUMulOverflow

Patch Set III (update) Implemented llvm.umul.with.overflow
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.