fix(CMakeLists.txt): add GIT dependency
fix(opensmt/smtsolvers/SMTConfig): add missing gflags header
feat(cmake/modules/FindGIT.cmake): add
fix(dReach): updated help for dReach
fix(dsolver/ode_solver): prune only if SAT

fix #48
feat(icp_solver): Fixed bug in SAT heuristic and created new variable selection for ICP
fix(style)