While writing down the spec.
Spec of Keccak permutation. Currently imcomplete: LSFR is there, matrix multiplication is missing