Fix bug in --fmf-fmc for producing models of functions not appearing in quantified formulas.
change post-rewrite in strings, add string_concate rewrite
Merge branch 'master' of git://github.com/CVC4/CVC4

Conflicts:
	src/parser/smt2/smt2.cpp
addition of my stuff
example