Add proper rendering of `GlobalId` in the Rust Engine

[clementblaudeau]

Currently, the printing of identifiers is done via partial functions tagged with Should be used only for testing. A proper printing of global ids with disambiguators would be useful, at least for the lean backend.

[W95Psp]

I'm looking at that now.
The plan for this is to reflect what we had in OCaml: a view and a rendering policy for identifiers.

This is implemented in those OCaml modules:

• https://github.com/cryspen/hax/blob/0d32ee5bc91b02ea0b9b1ceb441761a8e6d04fa3/engine/lib/concrete_ident/concrete_ident_view_types.ml
• https://github.com/cryspen/hax/blob/0d32ee5bc91b02ea0b9b1ceb441761a8e6d04fa3/engine/lib/concrete_ident/concrete_ident_view.ml
• https://github.com/cryspen/hax/blob/0d32ee5bc91b02ea0b9b1ceb441761a8e6d04fa3/engine/lib/concrete_ident/concrete_ident_render_sig.ml

• hax/engine/lib/concrete_ident/concrete_ident.ml

  Line 325 in 0d32ee5

  module MakeRenderAPI (NP : NAME_POLICY) : RENDER_API = struct