daily update Sat Jun 15 22:58:39 CDT 2013

- fix the bugs in binomial_heap