[brew] Add homebrew/science tap, for z3.