Some 1024-bit DH moduli, and a program to generate them