SERVER-12885 Make sure mongodump can dump admin.system.users when explicitly asked to