Minimizing the conflict set requires rerunning the solver multiple times, which
can be time consuming.  This commit adds a flag, --minimize-conflict-set, that
defaults to false.  We should probably add a way to limit the total run time
before turning the feature on by default, such as applying the backjump limit to
the combined solver runs.