An xl-config-file to xapi-VM converter