add tagging policy and lazy instructions

Author: 4e554c4c

README.md

@@ -172,12 +172,28 @@ text objects to behave.
 
 Make sure you have [`stack`](https://docs.haskellstack.org/en/stable/install_and_upgrade/) on your PATH!
 
+For [vim-plug](https://github.com/junegunn/vim-plug):
+
 ```viml
 Plug 'kana/vim-textobj-user'
 Plug 'neovimhaskell/nvim-hs.vim'
-Plug 'isovector/cornelis', { 'do': 'stack build' }
+Plug 'isovector/cornelis', { 'do': 'stack build', 'tag': '*' }
+```
+
+for [lazy.nvim](https://github.com/folke/lazy.nvim):
+
+```lua
+{
+  'isovector/cornelis',
+  name = 'cornelis',
+  ft = 'agda',
+  build = 'stack install',
+  dependencies = {'neovimhaskell/nvim-hs.vim', 'kana/vim-textobj-user'},
+  version = '*',
+}
 ```
 
+If you are having issues, try using a tag which matches your agda major version. (e.g. for Agda `v2.7.0.1` use cornelis `v2.7.*`).
 
 ### Agda Version