swig: added PRNG to global SWIG interface file