add a description for the pathToIdris setting The default description wasn't clear enough, see #36
add a description for the pathToIdris setting
The default description wasn't clear enough,
see #36

idris-hackers/atom-language-idris