Add tip about Idris path on OS X

I just started the tutorial on OS X and bumped into a small problem with my Cabal path. Here's a pointer to help anyone else who runs into the same problem.