Improved Xenctrl and Xenguest doc