fix: record tasks from Command.logSnapshotTasks in snapshot tree#12946

Kha wants to merge 2 commits intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-rstypswpzvvqKha/lean4:push-rstypswpzvvqCopy head branch name to clipboard