Python implementation of interval heap, a double ended priority queue.