Set `@source_name` for procedures with divergent source/linkage name

Names in Wasm's name section need not be unique. For debug builds of `examples/` with `panic-abort` rustc produces duplicate names in the Wasm name section, see #1341.

#1342 deduplicates names, which can lead to divergent source/linkage names. In that case, the new `@source_name` attribute should be added to the corresponding procedure. See [vm3716](https://github.com/0xMiden/miden-vm/pull/3716) for details.

Blocked until the compiler uses vm with that feature, probably `>= 0.30`.

該 issue 引用了 Miden VM 中的一項更改（PR #3716），該更改添加了一個 `@source_name` 屬性。檢查編譯器的程序處理程式碼，可能位於處理 Wasm 名稱節解析或程序中繼資料的模組中。尋找建立程序以及設定其名稱的位置。當來源名稱與連結名稱（去重後）不同時，添加 `@source_name` 屬性。請查看連結的 VM PR 以了解屬性的確切格式和上下文。

由索引模型根據 Issue 內容生成。