Add formula for Proverif 1.88pl1
Update proverif.rb

add version number
Update proverif.rb

fix name of ocaml package
proverif: add 1.88.1 bottle.