Update Mimir documentation, Agent-->Alloy

[clayton-cornell]

This issue tracks the work for updating Agent-->Alloy in the Mimir documentation.

### Tasks
- [ ] Identify the topics that reference or document using Agent with Alloy
- [ ] Assess the contents for minor update, rewrite, or remove.