thread_manager → options Relation

File in src/basic/thread_manager	Includes file in src/basic/options
RosettaThreadManagerInitializationTracker.cc	keys / multithreading.OptionKeys.gen.hh
RosettaThreadManagerInitializationTracker.cc	option.hh