Add some effects to execute function declarationand remove val specs for calling functions to allow effects to be inferred.

Also fix "clean" target in Holmakefile

Add a new pc access function to get the architectural PC: on CHERI this is not what is in the PC register because the architectural PC is the offset of PCC and the PC register stores the absolute PC (at present -- may review this decision in future). This allows fix for AUIPC and RVFI reported PC.

Move updated 0.11 lem files from Shaked's commit into their own directory

Remove the 0.7.1 lem directory that performed a similar purpose during the prompt monad changes

Re-add model changes from Shaked's commit with a feature flag

Move this commit to new_barriers branch until we can update C/SMT/etc
and make a new release of Sail for backwards compatability with the
opam package

This reverts commit 273ec8b0.

Disable mmio devices (clint and htif interfaces) when using RVFI to prevent divergence when using TestRIG.

Fix an issue where zeros function defined in sail conflicted with lem builtin (lem backend does not do z encoding) and add default get_config_print_xxx builtins mappings to lem build (now there is no longer a sail definition of the function because of -Oconstant_fold bug). Also remove FEATURE_IMPLICITS ifdef that was required for backwards compatibility with long obsolete sail versions.

os-boot: Update Hafnium image

Move the get_config_ print defaults to the backend preludes, since it seems to get optimized out by sail, making the emulator the command-line options ineffective.

* Reduce the size of the image by removing unused secondary VMs.
* Recompile Linux with -march=rv64imac -mabi=lp64 (softfloat).
* Remove NFS filesystem in Linux as it's not needed.

Add an instruction limit option to C emulator. Also print kips every 2**20 (~100k) instructions with -p option so you can keep see how it varies during execution.

Rename zeros and ones implicit functions to something that sail monomorphisation pass recognises. We don't need the overload.