Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Merge branch 'master' of github.com:tiliang/CVC4
Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into master.  See the CAV14 submission for an explanation of the changes to the integer solver's behavior. If compiled against the our custom extension of glpk, https://github.com/timothy-king/glpk-cut-log, this should have substantial differences in behavior. This should have moderate performance differences for linear real and integer arithmetic even if these features are disabled.
Fixing a SWIG problem for RationalFromDoubleException.
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.
Merge pull request #18 from timothy-king/master

Merging in the glpk changes
Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-ground ITEs also.
minor change for strings-fmf
minor change for strings-fmf
Merge branch 'master' of github.com:tiliang/CVC4
adds intro vars length cache