Delay QuantifiersEngine and UF strong solver initialization until after final options/logic are set.
Smarter options, but still have a bug
add warning for using strings in ALL_SUPPORTED
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/smt/smt_engine.cpp