Docker container management for large amounts of servers