The Redfish scripting language