Add tip about Idris path on OS X