[boost] Interest in double-ended priority queue? (priority_deque)