done, remaining, inprogress, skipped are now consistenly maintained, not
recomputed continuously
*important* storage format of done changes: it was a pickled set, it is
now the concatenation of individual pickled combinations