scripts for setup and administration of a minecraft server