More complete guess instantiation strategy, cvc4 now typically times out instead of answering unknown for benchmarks with quantifiers.  Modified regressions accordingly.  Minor fix for QCF regarding variable ordering.  Improved relevant domain computation.  Minor optimization for --mbqi=fmc
Fix build (some nonexistent files listed in Makefile)
minor fix for merge
minor cleanup for merge
minor fix for merge
escaped characters, having an issue with smt-lib defintion, further repair is needed.
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/theory/strings/theory_strings.cpp