add dsh group "misc-servers"

with (just) all those servers named after chemical elements that are
appearing in DNS wmnet.

for checking upgrade/kernel status, finding out the ones that
are gone, etc.

Change-Id: Ie2ee9cf47d8d0de4ed830b4a2b1ea3a3bb406fbc
Merge "add dsh group "misc-servers"" into production