Julian/lean.nvim

Neovim support for the [Lean Theorem Prover](https://leanprover.github.io/).