start_ranlux: check if any two processes are started with the same seed
Merge pull request #294 from kostrzewa/check_local_seed

start_ranlux: check if any two processes are started with the same seed