Proverif 1.88.1 (new formula)

Transfert from Homebrew to Homebrew-science on demand ...
(https://github.com/Homebrew/homebrew/pull/32214)