Add `keccak.py` simulation#30

clarus merged 13 commits intomainformal-land/coq-of-python:mainfrom

draft@AddKeccakformal-land/coq-of-python:draft@AddKeccakCopy head branch name to clipboard