Clustered XEN manager