Fix a bug in smt2 parser for quantified formulas with attributes, fixes bug 535
adds partial function substr. the use of this function should be guarded, especially for disequalities
adds some fixes. it solves kaluza problems
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/theory/strings/theory_strings.cpp