Implemented a supposedly better heap pop algorithm. Doesn't seem to make any difference though.
Implemented a supposedly better heap pop algorithm. Doesn't seem to make any
difference though.

jpflori/flint2,jpflori/flint2,wbhart/flint2,jpflori/flint2,dsroche/flint2,dsroche/flint2,fredrik-johansson/flint2,wbhart/flint2,fredrik-johansson/flint2,dsroche/flint2,dsroche/flint2,wbhart/flint2,fredrik-johansson/flint2,jpflori/flint2