Make the on-disk representation of taps unambiguous

This commit supports "-" and "_" in names of user and repository.

Closes #28203.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Update bash completion for new tap format
Using existing method to make tap symlinks
Pass arguments instead of reopening Pathname
Don't use a regexp to match paths, just compare them for equality
basex 7.8.2

Closes #28686.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
concurrencykit 0.4.2

Closes #28685.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Fix tap completion when there aren't any taps
Remove slow tab completion for `brew tap`

This requires hitting the network, which makes the first invocation
slow. The results are inaccurate as it only pulls down the first page of
results. It is also prone to false-positives.

A better implementation is welcome, but in the years since I wrote this
code I can't think of a single time where I found it useful.
libarchive: optional support for xz/lzma

Closes #28478.
Fix backslash escaping in documentation.

We want to output "\\.v$" so we need to write "\\\\.v$".
Avoid a broken ARGV.value in formula installation.

* `ARGV.value("with-foo")` is no longer available during installation
  per commit 88f799a8f7ad06fac7c2a0ace71ddf4368e8c4ef.

* As a workaround, change option `--with-emacs=<emacs_binary>` to
  `--with-emacs`, in line with current Homebrew practices.
coq: add 8.4pl3 bottle.
proof-general: add 4.2 bottle.