Decapitated/Unmaintained dependencies on hax_lib_macros crate

[Nichokas]

The hax_lib_macros crate is using proc-macro-error and paste dependencies which are decapitated or unmaintained.

paste rustsec notice
proc-macro-error rustsec notice

[Nichokas]

It appears that the proc-macro-error has been replaced, but this change is not reflected on the latest release -> 215371a

https://docs.rs/hax-lib-macros/latest/hax_lib_macros/

[github-actions]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[maximebuyse]

Closed by #1385 and #1394