Some tools for working with the FedCloud images