sipb-xen-www: Use invirt.config to pick the VNC proxy port.