Added RandomNumberGenerator axioms to UNIDA-DO.
(Used in unida_java_dummy_gateway example project).