[autotest] Add two devservers in production, remove one for repair:

new ones:
Hostname     : chromeos4-devserver3.cros.corp.google.com
Attributes   : {u'IP': u'100.107.160.3'}

Hostname     : chromeos4-devserver4.cros.corp.google.com
Attributes   : {u'IP': u'100.107.160.4'}

bad one:
Hostname     : chromeos2-devserver4.cros.corp.google.com
Attributes   : {u'IP': u'172.17.40.21'}

BUG=chromium:483509
TEST=None

Change-Id: I0b58139cdd70d77fc20656f5904c45b11b626c77
Reviewed-on: https://chromium-review.googlesource.com/268788
Trybot-Ready: Dan Shi <dshi@chromium.org>
Tested-by: Dan Shi <dshi@chromium.org>
Reviewed-by: Prathmesh Prabhu <pprabhu@chromium.org>
Commit-Queue: Dan Shi <dshi@chromium.org>
1 file changed