SERVER-16372 improve replsetrestart1.js