Lightweight drop-in replacement for vanilla Minecraft servers