Add goal printing flags (-upto, -lastgoals) and LLM agent guide#944

strub merged 1 commit intoEasyCrypt:mainEasyCrypt/easycrypt:mainfrom

namasikanam:mainnamasikanam/easycrypt:mainCopy head branch name to clipboard