misc: Fix performance of interval merging (bgo#768300)

Interval merge was constantly pop()ing from the list head, which is very
slow on standard Python lists. Just moving to a deque gets rid of this
from profiles on large lists of ignored intervals.