dsh: split the misc-servers into dc-specific files

this is the misc-servers list, retried by parsing
DNS and removing all cluster stuff.

now split up into separate files per dc/facility,
so we have misc_pmtpa to track exactly what is left
in Tampa, etc. (for -> RT #6099)

checked for IP ranges and DNS names, sorted, unique,
compared the sum of all files to the original source

that is, MINUS the 16 servers recently removed and to
be checked in RT #6123

Change-Id: Ibc6d8fcafed1d363ab1781027525b360058910b4