Citrix buys application provisioning company Ardence