[Lean] Rename user-facing options from Aeneas to Lean #8718

Job	Run time
documentation	2m 9s
benchcomp-tests	4m 45s
perf	36m 52s
regression (macos-13)	1h 6m 21s
write-json-symtab-regression	16m 0s
regression (ubuntu-20.04)	28m 50s
regression (ubuntu-22.04)	29m 14s
regression (macos-14)	26m 52s
	3h 31m 3s

Provide feedback