feat: remove dsolver/util/logger
fix(dsolver/util/scoped_env.cpp): operator<<
feat(opensmt/smtsolvers/SMTConfig.C): use glog & gflags