Tools for setting up a Minecraft server in Digital Ocean