Fixed bug where divide by zero bugs would only be detected once in a program
even if there were many divide by zero bugs.

The fix basically inlines all function calls to klee_div_zero_check()
so that each call to klee_report_error() is a unique instruction
for each instrumentation of a divide operation.

It also seems that inlining the call "magically" fixed the debug information
(file and line number) of the instruction so that the debug information on the
inlined instructions matches that of the instrumented division instruction.

Note that the command line option -emit-all-errors could be used to
workaround the bug fixed in this commit.
Implemented runtime check for overshift (controllable with --check-overshift
command line argument).

Overshift is where a Shl, AShr or LShr has a shift width greater
than the bit width of the first operand. This is undefined behaviour
in LLVM so we report this as an error.
MetaSMT builder, solver and command-line options.
Bug fix in MetaSMTBuilder
getConstraintLog() of MetaSMTSolver explicitly states that this feature is not supported; a test case modified to not fail because of this.
command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_METASMT ... #endif macros
Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc -- only 16 bytes of array a were initialised in Query 2, but values of 17 bytes were later required for comparison.
Merge pull request #43 from hpalikareva/test-large-ints

Fixed nondeterministic behaviour in test case ./test/Solver/LargeInteger...
tests in ./test/Feature/ExprLogging.c reverted back to not explicitly differentiate on whether metaSMT is used or not
Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c -- using the counterexample cache affects the total number of queries issued to the solver.
Merge pull request #45 from hpalikareva/test-expr-logging

Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogg...
stubs.c: fix use of undeclared identifier PATH_MAX
stubs.c: cleanup
Merge pull request #47 from 251/stubs_path_max

Simplified implementation of canonicalize_file_name().  Addresses #46.
Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver.
Merge pull request #41 from hpalikareva/metasmt-multisolver

Support for KLEE-MultiSolver (http://srg.doc.ic.ac.uk/projects/klee-multisolver/)
Merge pull request #26 from delcypher/fix_divide_by_zero

Fixed bug where divide by zero bugs would only be detected once in a program
Fix build of POSIX file descriptor functions

Build Large File System functions for 32bit and 64bit correctly
Fix Futimesat compilation with newer gcc and clang
Merge pull request #61 from MartinNowack/fix_futimesat

Fix Futimesat compilation with newer gcc and clang