fix(CMakeLists.txt): add GIT dependency
fix(opensmt/smtsolvers/SMTConfig): add missing gflags header