random → options Relation

File in src/basic/random	Includes file in src/basic/options
init_random_generator.cc	option.hh
RandomGeneratorSettings.cc	keys / OptionKeys.hh
RandomGeneratorSettings.cc	keys / run.OptionKeys.gen.hh