added a few more formulas to Brewfile