added the random header and tinymt32 source and license.