Update proverif.rb

add version number