Dotfiles neovim ref neovim get started lua neovim example neovim language server protocol config idris2-lsp setup ocaml-setup nvim tele setup neovim