Added the Tiny Mersenne Twister pseudo-random number generator