Brewfile: add some CTF tools

See https://github.com/ctfs/write-ups for more info.
Resolved conflict, allowed upstream.