cleaning up binomial heap