Some fixes for documentation inclusion of scalar and vector crypto fu…

…nctions. (riscv#1321)

- Attach documentation comments to functions used in the Sail
supplements of the crypto specs. Use anchors for other documentation
comments.

- Move `val` declarations into function signatures to make documentation
inclusion of functions more standalone and comprehensible.

- Fold some long lines.

The doc comments will need the next Sail compiler release to show up in
the doc bundle, but this doesn't break compilation with the current
version.

Add jq as a dependency for release CI

Enable automatic releases

New release

Tag for release.

Tag for opam release.

Second opam release hopefully fixes opam2.

First opam release.