Hardcode ziggurat tables

As discussed in #6194, the generated ziggurat tables differ between 32 and 64 bit systems. I have calculated the tables in 256 bit `BigFloat` precision and hardcoded them in `randmtzig.c`, as proposed by @StefanKarpinski. I have tested the new tables with the `smallcrush` test from the `RNGTest` package.