fix(dsolvers/icp_solver): use util/interval in icp_solver
feat(util/interval): add constructor interval(rp_interval)
feat(realpaver): use util/interval in proof