lake test manifest submodules

Stream: lean4

[Scott Morrison]

@Mac Malone, @Matthew Ballard, do we know what happened in Matthew's commit here:

https://github.com/leanprover/lean4/pull/2478/files/c65583b2656158e07abe47830b8399d46c08b677..7d0f7a9a700fd69056fd9cc4f49684cbf5cb5e65

Is there something we can do to prevent contributors accidentally doing this? Do the lake tests need to clean up after themselves better?

[Matthew Ballard]

On my end git merge upstream/master from my branch on my fork

[Scott Morrison]

Sorry for the noise. :-)