changed mentions of 'brew --prefix' to 'brew --repository'

Closes #2121.

Please see mentioned issue for (link to) reasoning. Apparently *homebrew* switched to that, and since we always try to be consistent with them, so should we.