Ganeti: cluster virtual server management tool from Googlecode.google.com47 pointsscorchin15 years ago