Update proverif.rb

fix name of ocaml package