New --tear-down-incremental mode, useful for debugging and performance profiling.
Better approach to forcing string logics to contain UFLIA also.
Minor usability fixes related to SMT-LIB compliance.
Appease compilers from latest XCode release (v5.1).
Move the translator binary from src/main to examples, no longer built by default.