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

Works pretty well in cases where have difficult SAT component.  I added the grid domain in benchmarks/planning to showcase this.  The improvements in the benchmarks are mostly positive.  There are some slowdowns in nra_ode that I think are attributed to the naive check for clause satisfiability.