Cloudlet provisioning using VM synthesis