another easycrypt victory (got the 1/limit_Hash probably claim in)
Merge branch 'master' of https://github.com/JHUISI/autocrypt