crypto/sha3-buffer: New module. * lib/u64.h (u64getlo, u64not): New functions. * lib/sha3.c: New file, based on lib/sha512.c. * lib/sha3.h: New file, based on lib/sha512.h. * modules/crypto/sha3-buffer: New file.