Simplify installation of CVA6 environment. (!1596) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Created by: zchamski

Bootcamp: Update CVA6 baseline, reduce jobs, install VPTOOL deps.

cva6/regress/install-cva6.sh (NUM_JOBS): Reduce from 24 to 3. (CVA6_HASH): Update to 32abc1cc. Invoke installer of VPTOOL deps.
cva6/regress/install-vptool-deps.sh: New.

VerifPlan rendering: Gracefully handle not-equal Unicode char in LaTeX.

cva6/docs/VerifPlans/source/conf.py: Translate U+2260 into \neq in LaTeX preamble.

[VerifPlan rendering] Enable collapsable nagivation menu in HTML5 output.

cva6/docs/VerifPlans/source/conf.py: Explicitly import sphinx_rtd_theme. Disable 'collapse_navigation' option.

Simplify installation of CVA6 environment.