fix(util/ibex_converter.cc): Memory leak
fix(util/ibex_converter.cc): Memory leak

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