Fix for z3-str compilation.
Continue concolic search after an UNSAT condition by skipping it.
New tests/examples for the new solver and concolic features.