refactor(dsolvers/util/logger): rename log functions to DREAL_LOG_*