bring back D-Norm
remove unrolling depth
Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Merge branch 'master' of github.com:tiliang/CVC4
Fix run_regression on Mac.
New --tear-down-incremental mode, useful for debugging and performance profiling.
Fix for (get-assignment); better heuristics default settings infrastructure; new --force-logic option that overrides what the input says.
Better approach to forcing string logics to contain UFLIA also.