Brewfile: add instructions on how to change the default shell to Bash 4