Undocument search features that no longer exist

Due to the fragility of the code, this functionality was removed in
recent refactorings of the tap code.

It is possible to restore these features, but it needs to be done in
a cleaner, more maintainable way.

Closes #29585.
gnutls 3.2.14
gnutls: update 3.2.14 bottle.
Share code for sanitizing ENV between both build environments
compcert: allow arch flags

Fixes #29569.
menhir 20140422
compcert 2.3pl2
drake 1.6

Closes #29598.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
gibo 1.0.3

Closes #29599.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
compcert: partially fix test
compcert: cheat to get test to pass

ccomp apparently can't parse /usr/include/stdio.h on OS X.
pluralize formulae in tap/untap

Closes #28560.
--help and --version only apply as first argument

This fixes external commands that provide their own
help and version subcommands.

Closes #26755.
wip
wip