Added --short_sat flag to stop minisat when all clauses are sat

Copy of pull request for old dreal blessed.