Fix for quote-escaping in smt2 printer
Merge branch '1.3.x'