Added some formulae to Brewfile