enable search for html doc
Merge branch '1.3.x'
More optimizations for quantifiers conflict find.  Add trust user patterns mode.
Fix for quote-escaping in smt2 printer
Merge branch '1.3.x'
strings with new ideas
Merge branch 'master' of github.com:tiliang/CVC4