DevCraft is a Minecraft hosting shell that beefs up the vanilla Minecraft multiplayer server