SERVER-15031 Add compile-time flag to control which ReplicationCoordinator is used