Added script "update" for getting newest version of easycrypt, toolchain, and provers