Xen HTTP client and server using the Mirage libraries