Grok Bot: prune/compact an agent’s context without creating a new Bot

@eli1 For question 2 see: