fix: report info trees on cmdline for .ileans

[Kha]

In #4976, I forgot that we do need info trees eventually on the cmdline for .ilean generation. Unfortunately, not reporting them incrementally would require an API change, so let's see what the impact of incremental reporting is

[Kha]

!bench

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 74f9dea7015467bee9010b93f7c384ede93dcf52 --onto f3e7b455bbd4ea39376e0928d0d6cb8d26bd0ba3. (2024-08-13 13:16:03)

[leanprover-bot]

Here are the benchmark results for commit bbe0ad6.
There were significant changes against commit 74f9dea:

  Benchmark                  Metric             Change
  ================================================================
+ import Lean                task-clock          -5.1%   (-19.2 σ)
+ import Lean                wall-clock          -5.1%   (-21.4 σ)
- lake config elab           instructions         2.2%    (98.7 σ)
- stdlib                     instructions         1.5%   (604.3 σ)
- stdlib                     tactic execution     3.0%    (60.9 σ)
- stdlib                     task-clock           2.2%    (38.3 σ)
+ tests/bench/ interpreted   instructions        -1.8% (-7378.0 σ)
+ tests/bench/ interpreted   task-clock         -20.8%   (-75.3 σ)
+ tests/bench/ interpreted   wall-clock         -10.1%   (-31.4 σ)

[Kha]

Merging as incrementally marking the environment as persistent is likely the way to go in any case. Further performance investigations pending.