brew CI: install with --HEAD if necessary#1451

scpeters merged 2 commits intomastergazebo-tooling/release-tools:masterfrom

ci_matching_branch/brew_ci_headgazebo-tooling/release-tools:ci_matching_branch/brew_ci_headCopy head branch name to clipboard