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

Conflicts:
	src/printer/smt2/smt2_printer.cpp