xenserver: updated xen-bugtool to XenServer trunk version.