tinymt32 license added to COPYING