[math-fun] matrix multiply over GF(2) -- yet another machine instruction we wish we had