Add (auto)indent support

[Julian]

In simple cases I think there are simple changes we can make.

E.g. probably we should set indentkeys+==where and := for Lean 4.

For more complex cases, if or when tree-sitter-lean is good enough to use, nvim-treesitter allows us to define indentation rules via it (via an indents.scm file).