Only keep a list of article URLs seen in last run

When articles disappear from the feed and reappear later, they will
count as new articles again, possibly they have been updated. Advantage
is that the list of seen articles does not have to be pruned by the
date.