Implemented merging of binomial heaps.