sipb-xen -> SIPB Virtual Servers externally
I'm open to other names, but 'sipb-xen' is unenlightening to outsiders, and awkward if we ever change virtualization platforms.