Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm