idris: provide boehmgc to compile with llvm backend
emacs-idris-mode: upgrade to 0.9.13.1
Merge pull request #2979 from bluescreen303/idris

Idris: fix wrapper for llvm, upgrade emacs-idris-mode