Define and use idris-try-directory-files for unreadable directories

Currently idris-mode is broken for cases where some directory upwards from the file is not readable. E.g. /home with "drwx--x--x". This patch fixes the issue.