Add prints for MaxSat.
Fix bug with printModel.
Fix bug with inVars in MaxSat.
Rename flags.
Add flag to deactivate reiterated disjoint soft cores.
Improve handling of interrupts.
Handle input file from command-line.