A file format to describe cloud-based development environments