adds smt2 print for strings
adds partial functions
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/printer/smt2/smt2_printer.cpp