update riscv-isa-manual to riscv-isa-release-ebf2e3a0b-2024-07-03

[ASintzoff]

since last riscv-isa-manual update (CVA6 commit 105d3601b):

• minor documentation changes
• use of docs-resources submodule inside riscv-isa-manual
• requires asciidoctor-lists