Homebrew integration

[fxcoudert]

Proposed for addition to Homebrew core: Homebrew/homebrew-core#30920
If this is merged, probably worth deprecating your personal tap, and updating the installation instructions ;)

[glensc]

Homebrew/homebrew-core#30920 is merged now