A bash script to update the Minecraft server .jar