Modifiable_priority_queue no longer depends on non-documented
boost code. This code has been copied into CGAL.
Modify boost's mutable_queue to have a constructor initializing
indices of elements not in the queue to the maximum number of elements.
Update pop to maintain this property