A bash script for updating the Minecraft server .jar