Implemented minimisation with binary resolution. (disabled)

Rollback: when a constraint is learned using PostPropagator we do not increment number of conflicts. (BTW, lbd is computed)