[feat] axvm-algebra-guest usage

[Golovanov399]

This resolves INT-2880

[linear]

INT-2702 Populate user book

The user book should contain at minimum 3 separate sections:

1. Overview of basic usage:
   1. how to write guest program
   2. how to test
   3. how to cross-compile
   4. how to use sdk to prove just app
   5. how to use sdk to prove with continuations
   6. how to use sdk to generate smart contract
2. How to use the existing extension guest libraries, from a pure rust library perspective.
   1. Should include example configuration in:
      1. CLI toml
      2. SdkVmConfig builder
3. More advanced: explain how to write a new extension including all 3 crates
   1. guest
   2. transpiler
   3. circuit

[linear]

INT-2880 axvm-algebra-guest usage

not just macro but wholistic

[jonathanpwang]

Discussed offline, content is there but we want some higher level framing

[jonathanpwang]

LGTM, really good