[m-rev.] for post-commit review: move cache ops to make.deps_cache.m ...

[Julien Fischer]

On Fri, 13 Oct 2023, Zoltan Somogyi wrote:

> ... and make the new machinery in make.dependencies.m
> do all the caching that the old machinery does.
>
> Given this fact, and that the new machinery, which has been
> in operation since oct 4, has not had any reported failures,
> would anyone object if I deleted the old machinery over
> the weekend?

No, go ahead -- I haven't encountered any problems with the new
machinery.

Julien.