Marina is a manager for docker deployments.