Updated installation instructions.

Added note on checking that `~/.cabal/bin` was added to `$PATH`. Fixes Issue https://github.com/idris-hackers/idris-tutorial/issues/8