Write a "How to do recursive proving on CLI" how to guide

### Problem

Since https://github.com/AztecProtocol/aztec-packages/pull/9479, we now have a relatively stable Noir + Barretenberg CLI recursive proving workflow.

This workflow is not currently documented for Noir + Barretenberg users.

### Happy Case

Write a how to guide describing how to do recursive proving with Noir + Barretenberg on the CLI.

### Discussions

1. Where should this guide live?