§ Autocompletion in Lean4

• for C++, use compiledb to generate a compile_commands.json
• for lean, setup a lean toolchain override for the correct stage0:

$ elan toolchain add my-lean-copy /path/to/my-lean-copy/build/stage0
$ elan override my-lean-copy