Eliminated QuantifierEliminate.h header from smt_engine.h
Merge branch 'master' of https://github.com/HasibShakur/CVC4
Merging today's commit and yesterday's commit