Function keccakf1600

pub fn keccakf1600(input: [u64; 25]) -> [u64; 25]