Basic implementation of binomial heaps, as in PFDS Appendix A, p 198.
Add solution to Exercise 3.5.