Optimizations for quantifiers conflict find: better caching, process matching constraints eagerly.
adds smt2 print for strings
adds smt2 print for strings
adds partial functions
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/printer/smt2/smt2_printer.cpp
enable search for html doc
Merge branch '1.3.x'
More optimizations for quantifiers conflict find.  Add trust user patterns mode.
strings with new ideas
Fix for quote-escaping in smt2 printer
Merge branch '1.3.x'
strings with new ideas
Merge branch 'master' of github.com:tiliang/CVC4
Performance optimization for E-matching, working on using QCF module for propagations.
Fixed non-termination issue in bounded integers.
improve string contains
improve string contains
Smarter options, but still have a bug
Delay QuantifiersEngine and UF strong solver initialization until after final options/logic are set.
Smarter options, but still have a bug