Add note about `idris-interpreter-path`
Merge pull request #85 from david-christiansen/master

Add note about `idris-interpreter-path`