Updated proverif

Test what happens when one part only supports bad algorithms,
test also for bad/good authentications algorithms

Signed-off-by: Luca Fulchir <luker@fenrirproject.org>