Minor updates to finish condition handling

Print all the conditions at the end of the path.
Don't let later positive events override an earlier diqualifying one.
Add -extra-conditions-file option

For convenience when you have a lot of -extra-condition args.
Add -solver smtlib-batch

For SMTLIB2 solvers in non-incremental mode. The incremental
-solver smtlib will usually be more efficient when available, but a
batch mode can be helpful for debugging (making a single self-contained
query), and some solvers are batch-only.