SERVER-14436 Remove dead ReplSetConfig::HealthOptions type.

It has no consumers.  The one instance is never changed or consulted.
Merge remote-tracking branch 'upstream/master'