Added a note about ulimit in the installation instructions; thanks to Hristina Palikareva for pointing this out.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173185 91177308-0d34-0410-b5e6-96231b3b80d8
Added a new option --ignore-solver-failures, disabled by default, to
cause KLEE to terminate on fatal solver errors.  Better documented the
ulimit issue when STP seg faults.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173187 91177308-0d34-0410-b5e6-96231b3b80d8