Update the internal machines page:

• All ref* machines are reference machines with similar hardware configurations (excluding ia64, sparc64).
• We don't need to list administrative (infrastructural) machines, so they're removed. If anyone wants to know, it's in DNS.
• Hub is deprecated. Yay.
• Remove the 'type' column for various machines. People that are interested (and have access) can check dmesg(8).
• Remove a site-specific reference, as we have many sites now, and this page is not the right place to thank the generous bandwidth/power/facility providers for our many sites.

With hat: admins
Sponsored by: The FreeBSD Foundation