Function prio_pop

prio_pop: deletes highest priority item from the array, and if it is item 0, move last item to 0 and reheap. If end of array, just destroy and decrement tail and mark. Assumes the array has already been tested for emptiness; no failure.