vim-patch:9.1.0840: filetype: idris2 files are not recognized

Problem:  filetype: idris2 files are not recognized
Solution: detect '*.idr' files as idris2, '*.lidr' files as lidris2
          and '*.ipkg' files as ipkg filetype (Serhii Khoma)

closes: vim/vim#15987

c04bc64ba6

Co-authored-by: Serhii Khoma <srghma@gmail.com>

runtime/lua/vim/filetype.lua

@@ -588,6 +588,7 @@ local extension = {
   ibi = 'ibasic',
   icn = 'icon',
   idl = detect.idl,
+  idr = 'idris2',
   inc = detect.inc,
   inf = 'inform',
   INF = 'inform',
@@ -595,6 +596,7 @@ local extension = {
   inko = 'inko',
   inp = detect.inp,
   ms = detect_seq(detect.nroff, 'xmath'),
+  ipkg = 'ipkg',
   iss = 'iss',
   mst = 'ist',
   ist = 'ist',
@@ -674,6 +676,7 @@ local extension = {
   ['l++'] = 'lex',
   l = 'lex',
   lhs = 'lhaskell',
+  lidr = 'lidris2',
   ll = 'lifelines',
   ly = 'lilypond',
   ily = 'lilypond',