Make the permutation width 'b' a type parameter of Keccak_f as in the specification.

Now we can write: Keccak_f`{b=1600}(x)