sha/asm/keccak1600-armv4.pl: switch to more efficient bit interleaving algorithm.