Brewfile: add some CTF tools

See https://github.com/ctfs/write-ups for more info.
Kosta's customized Brewfile