Tools for easing minecraft server management