Add new symmetry breaking technique for finite model finding.  Improvements to bounded integer quantifier instantiation.
Merge branch 'master' of github.com:tiliang/CVC4
Some fixes to recent strings commits.
Bug fixes and improvements for symmetry breaking, it now supports multiple sorts.  Working on monotonicity inference.
fixed a loop bug
add x=y