proverif fix

Modified to match actual implementation:
supported authentication list does not need to be encrypted
as there is nothing secret and gets sent before authentication
anyway.

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