SERVER-13330 Removed unused setParameter option supportCompatibilityFormPrivilegeDocuments
SERVER-13577 geo_borders.js immediately catches own assertions
SERVER-13582 increase stability of server6733.js by retrying replSetSyncFrom