Fix bug 554 (nominally).
Fix run_regression on Mac.
Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodies; fix bug 551, improper ITE removal under quantifiers.
Merge remote-tracking branch 'CVC4root/master'
Fixing name changes that cam in from the merge.