Feature/formally parse riscv isa #2915

Job	Run time
build-macos (macos-13)	34s
build-macos (macos-13, gcc@11)	1m 28s
build-macos (macos-14)	20s
build-linux (jammy, 96b_carbon)	40s
build-macos (macos-13, gcc@12)	1m 18s
build-macos (macos-latest)	20s
build-linux (jammy, blackpill-f401cc)	38s
build-mingw (windows-2022, mingw64)	1m 42s
build-macos (macos-13, gcc@13)	1m 24s
build-linux (jammy, blackpill-f401ce)	38s
build-mingw (windows-2022, ucrt64)	1m 40s
build-macos (macos-13, gcc@14)	1m 2s
build-linux (jammy, blackpill-f411ce)	33s
build-mingw (windows-2022, clang64)	2m 2s
build-msvc (meson, windows-2022)	1m 11s
build-macos (macos-14, gcc@11)	43s
build-linux (jammy, bluepill)	34s
build-macos (macos-14, gcc@12)	34s
build-linux (jammy, ctxlink)	34s
build-macos (macos-14, gcc@13)	46s
size-diff	50s
build-linux (jammy, f072)	32s
build-macos (macos-14, gcc@14)	38s
build-linux (jammy, f3)	32s
build-linux (jammy, f4discovery)	49s
build-linux (jammy, hydrabus)	33s
build-linux (jammy, launchpad-icdi)	38s
build-linux (jammy, native)	32s
build-linux (jammy, native-uncommon)	32s
build-linux (jammy, native-st-clones)	30s
build-linux (jammy, native-riscv)	31s
build-linux (jammy, native-remote)	32s
build-linux (jammy, stlink)	38s
build-linux (jammy, stlinkv3)	34s
build-linux (jammy, swlink)	46s
	27m 48s

Provide feedback