Using relative path names in minisat headers
Updated minisat
Fixed ezSAT stand-alone build
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
Use ezSAT::non_incremental() in "share" pass