Travis: also build the Mirage/Xen backend of the website