Define and use idris-try-directory-files for unreadable upstream directories
Style and doc tweaks
Merge branch 'taruti-master'