A prototype docker registry service in the cloud that integrates with Pulp