qt, qt5: fix ARGV audit warning.
brew-pull/test-bot: use stricter formula match.
SoftwareSpec: remove dead code
Infer dependencies from download strategies and URLs