2 new options, to assume master is active, and get # of dead region servers from html instead of json