Improve reitereted disjunct cores.
Allow to disable disjunct cores.
Change flag to --maxsat_disjcores. Possible values are no, pre (default), all.