Red Hat unveils a series of cloud-development tools