SERVER-14429 Make ReplSettings const now that it is no longer modified after startup
SERVER-16373 Remove repl_set.h