src/Main/RNGPrint.cpp file

Pretty printer base for pretty printers supporting RNGs.