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.
Mozilla add-on SDK 1.16

Closes #29552.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Add failing test for parsing version from erlang bottle filename
Fix overzealous regex
erlang: remove "halfword" option, deprecated upstream
erlang: clean up ENV usage
erlang: clean up test
erlang: add openssl dep
erlang: update R16B03-1 bottle.