simo pushed to python-jwcrypto (f23). "Add sha512sum file"