Fix Xen CI job by moving to GitHub mirror#8789

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:use-github-xen-mirrortautschnig/cbmc:use-github-xen-mirrorCopy head branch name to clipboard