Removing unused ite simplifier.
Cleaning up UnconstrainedSimplifier
New draft of ITE simplifier.
Enabling better use of the ite simplifier from the theory engine.
Cleanup unneeded headers in ite simplifier.