feat(solver/icp): Add IcpStat which shows stat info at INFO level
feat(solver/icp): Add IcpStat which shows stat info at INFO level

dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4