Fix feed refresh interval computation.
Make individual refresh tasks expire before we launch another.
Order feed so we get a chance to refresh older first.
Make the feed lock itself back again to avoid overlapping refreshes in case the refresh launches and lasts long while we trigger another.
Try to understand why too much feeds are closed.
version bump for 0.84.8.
Merge branch 'release/0.84.8' into develop