Change the name of export_seed/1 and improve the initial seeding
Change the name of export_seed/1 and improve the initial seeding

Rename to export_seed_s/1 to conform with the rest of the functional
api.

Improve the intial seeding so that we are sure that two
consecutive calls get different seeds from the same process.

jj1bdx/emprng,jj1bdx/emprng