Add a way to reveal the cardinality constraints found by DetectCards
The only way current to display those constraints is to use a specific launcher:
java -Dprintcards=true -cp sat4j-pb.jar org.sat4j.pb.CardConstrLearningSolverLauncher file.cnf
It would be nice to have that information displayed using the more classical
java -jar sat4j-pb.jar DetectCards file.cnf