Various minor updates. Added Brewfile.