astar: Use binomial heap as a priority queue for a ~5x speedup.

=== [ Results - using "pqueue_list.sml" ] ===
A* took 7.814 seconds

=== [ Results - using "pqueue.sml" ] ===
A* took 1.580 seconds