A tiny implementation of SHA-3, SHAKE, Keccak, and sha3sum