Update direnv info with specific PATH_add example

Adding `./bin` to `PATH` using direnv `.envrc` can be problematic in Bash; see https://github.com/zimbatm/direnv/issues/133. Update to use `PATH_add` instead, which expands the full directory name.