rename CAMUS.optCallback to CAMUS.optMCSFound and add CAMUS.optMUSFound
implement "Dualize and Advance" algorithm for finding minimal unsatisfiable sets