Add tip about Idris path on OS X
Merge pull request #35 from jmitchell/master

Add tip about Idris path on OS X