chore(debugger): Docs

[mverzilli]

Description

Adds documentation for the Noir debugger.

Problem

Part of #3015.

Summary

Adds quickstart, how to's and reference pages to Noir's docsite covering both the VS Code and REPL debuggers.

Documentation

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[signorecello]

dammit seems like it doesn't add the documentation label when non-maintainers add stuff to docs, so it doesn't generate a preview... bah, need to fix that because it's annoying

[mverzilli]

dammit seems like it doesn't add the documentation label when non-maintainers add stuff to docs, so it doesn't generate a preview... bah, need to fix that because it's annoying

Maybe it's because I opened it as draft?

[signorecello]

Some quick requested changes. Great work so far!

[signorecello]

dammit seems like it doesn't add the documentation label when non-maintainers add stuff to docs, so it doesn't generate a preview... bah, need to fix that because it's annoying

Maybe it's because I opened it as draft?

Looking at the GH action, I think the labeling problem is just a security feature. Maybe the token used doesn't have those permissions.

As for the rest of the CI run, I don't know. The "deploy PR" action didn't seem to run even.

[mverzilli]

Thanks for the review @signorecello! Addressed most of the comments, except:

• The part about adding more of these docs to CLAP (will work on that on a different PR).

Regarding Brillig=>unconstrained language, I replaced it in as many places as it felt adequate, but it didn't seem right to rename things like "Brillig registers" or "Brillig memory". I ultimately defer to your decision on that, though.

[signorecello]

Yes we really want to avoid using the word Brillig. Not that we don't like Lewis Carroll, but because it would involve yet another definition, specially one with a creative yet quite non-descriptive name

[github-actions]

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

[signorecello]

LGTM, thanks!

[Savio-Sou]

Sorry for the delay and thanks for the great work here!