Lightweight linux distro for minecraft server