brew-test-bot: run Homebrew tests every time.
brew-test-bot: handle Jenkins pull request plugin.
brew-test-bot: fix testing pull request handling.
brew-test-bot: further tweak pull request handling.