add tactic 'simplify if' performing if conversion#973

bgregoir wants to merge 5 commits intomainEasyCrypt/easycrypt:mainfrom

if-conversionEasyCrypt/easycrypt:if-conversionCopy head branch name to clipboard