A docker-image server manager for minecraft