Cloud infrastructure manager for allocating requested resources. Resources are offered in the form of VMs, Jupyter notebook servers or on-demand tasks to be executed though the SCHEMA api.