Add PRNG.h and PRNG.cpp.