[Lean] Split output in several files

[clementblaudeau]

Currently, the lean backend outputs everything in a single file. It should split, probably based on modules. Splitting in several files may require to support alias items (indirections from outside recursive bundles).