Fixes for currentConstraintId mixup

org.sat4j.core/src/main/java/org/sat4j/OptimizationMode.java

...t4j.core/src/main/java/org/sat4j/minisat/core/Solver.java

...t4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java

...t4j.core/src/main/java/org/sat4j/opt/MinOneDecorator.java

...e/src/main/java/org/sat4j/specs/IOptimizationProblem.java

org.sat4j.core/src/main/java/org/sat4j/specs/IProblem.java

org.sat4j.core/src/main/java/org/sat4j/specs/ISolver.java

...e/src/main/java/org/sat4j/tools/AbstractOutputSolver.java

...j.core/src/main/java/org/sat4j/tools/LexicoDecorator.java

org.sat4j.core/src/main/java/org/sat4j/tools/ManyCore.java

...j.core/src/main/java/org/sat4j/tools/OptToSatAdapter.java

....core/src/main/java/org/sat4j/tools/ProblemDecorator.java

...j.core/src/main/java/org/sat4j/tools/SolverDecorator.java

....core/src/main/java/org/sat4j/tools/StatisticsSolver.java

...xsat/src/main/java/org/sat4j/maxsat/MinCostDecorator.java

...at4j.maxsat/src/test/java/org/sat4j/maxsat/MichalBug.java

...va/org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

...at4j.pb/src/main/java/org/sat4j/pb/LanceurPseudo2007.java

...at4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java

org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverHandle.java