SERVER-13714 fix enumeration of non-top-level indexed negations
SERVER-13726 standardize timeouts for slower builders
SERVER-13645 make header for ReplSetImpl
SERVER-13645 make header for ReplSet