idris 0.9.19.1
idris 0.9.19.1

Update Idris to 0.9.19.1

Closes #44827.

Signed-off-by: Dominyk Tiller <53e438f55903875d07efdd98a8aaf887e7208dd3@gmail.com>

kwilczynski/homebrew,kwilczynski/homebrew,kwilczynski/homebrew,kwilczynski/homebrew