Update for VM moves

Author: tlyu

machines.txt

@@ -3,15 +3,14 @@ e40-esx-krb-1			VMware ESX host E40 machine room
 kerberos-org			web server {www,k5wiki,blog}.kerberos.org
 krbdev				RT server, snapshots, buildbot, etc.
 
-krbdev-guest-03			amd64 Ubuntu 10.04 SecurID testing
-krbdev-guest-04			i386 Ubuntu 10.04 buildslave
-krbdev-guest-05			amd64 Ubuntu 10.04 kerborg migration staging
+krbdev-guest-23			amd64 Ubuntu 10.04 SecurID testing
+krbdev-guest-24			i386 Ubuntu 10.04 buildslave
+krbdev-guest-25			amd64 Ubuntu 10.04 kerborg migration staging
 krbdev-guest-06			amd64 Ubuntu 10.04 spare buildslave,
 				TEST.KERBEROS.ORG KDC for rdns test
 				case
-krbdev-guest-07			amd64 Sol10u9 buildslave (setup pending)
-krbdev-guest-08			amd64 Ubuntu 10.04 buildslave (live)
-krbdev-guest-09			amd64 Ubuntu 12.04 buildslave (live)
+krbdev-guest-28			amd64 Ubuntu 10.04 buildslave (live)
+krbdev-guest-29			amd64 Ubuntu 12.04 buildslave (live)
 
 krbdev-guest-31			interop 2011
 krbdev-guest-32			interop 2011