Add note about `idris-interpreter-path`

Updates @joneshf's description with another way to tell Emacs where Idris is