Puppet module for installing and managing a Minecraft server