Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option