Add swig renames for new Z3STR language.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Better approach to forcing string logics to contain UFLIA also.
new --tear-down-incremental mode
new --force-logic option that overrides what the input says
Fix run_regression on Mac.