[Typo] lakefile extension should be toml instead of lean

[lwshang]

There are two occurrences of lakefile.lean which should be lakefile.toml.

The diff can be found here:

release-2025-04...lwshang:fp-lean:patch-1