Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.com/ccadar/klee/issues/32) and fixed an #include in one of the tests.
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...