menhir: update 20200525 bottle.
menhir: update 20200525 bottle.

Linuxbrew/homebrew-core,rwhogg/homebrew-core,Linuxbrew/homebrew-core,rwhogg/homebrew-core,maxim-belkin/homebrew-core,maxim-belkin/homebrew-core