SERVER-15039 add prng to repl coordinator