fix(.travis.osx.yml): typo
feat(benchmarks): updated results for grid planning

chore(benchmarks): git ignore
feat(benchmarks): problem for testing delta and ode
feat(tools): delta on jumps
feat(tools): added pruning of SMT encoding based upon reachability analysis

Added pruning of encoding using backwards reachability
fix(icp_solver): removed old ineffiency that propagated all constraints if  delta satisfiability is not met, now checks if propagating constraint will may help
chore(tests): remove obviated tests and merge options into one script

chore(dsolvers): style
feat(benchmarks): updated grid results for new reduced encoding

feat(benchmarks): updated grid results for new reduced encoding
fix(benchmarks): setup grid-obstacle experiment scripts
fix(test): updated short_sat tests to use options