Improve hax_lib documentation

[abentkamp]

There is a documentation page for the rust crate hax_lib (https://docs.rs/hax-lib/latest/hax_lib/), but the macros listed there do not contain any explanation about what they do. I imagine this could easily be fixed by adding doc-comments to the code?