A tool for managing multiple Docker containers