Added an mt19937 PRNG and a small test to main.cpp