Updated source. Added the QuantifierEliminate.h and.cpp to makefile.am