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.