run_tests: move selection of RefineOrphanage to run_tests

This is more consistent with how we handle other broken proof sessions
in the run_tests framework.

riscv run_tests: enable ASpec and ASpecDoc test sessions

Isabelle2018: AsmRefine currently only for 32bit platforms

run_tests: switch off quick_and_dirty for X64

x64: test CRefine in quick_and_dirty mode

run_tests: add RISCV64 test architecture

run_tests: Create and fetch timing/timeout info.

reintroduce Orphanage test (for ARM only)

- Orphanage files in the ARM_HYP and X64 directories are not tested at the moment
- once we finish proving them, we will remove the restriction to ARM

run_tests: stop CRefine et al from being excluded from regression for x64

arm-hyp regression: minimise run_tests exclusions

x64 regression: minimise run_tests exclusions

run_tests: add CRefine et al to X64 excludes

run_tests: fix X64 excludes

run_tests: Adjust environment flags for build

*** ALERT: ANYONE USING SKIP_REFINE_PROOFS SHOULD CHANGE TO
SKIP_DUPLICATED_PROOFS IN ~/.isabelle/etc/settings!!! ***

Previously SKIP_REFINE_PROOFS was being used to skip duplicated Refine
and AInvs proofs when building CBaseRefine and InfoFlowC. This
conflicted with adding an option to actually skip building Refine proofs
(for example when trying to quickly build DBaseRefine).

After this change, we have the following SKIP_PROOFS flags:
* SKIP_AINVS_PROOFS: used to skip AInvs proofs (for example when
building Refine)
* SKIP_REFINE_PROOFS: used to skip Refine proofs (for example when
building DBaseRefine)
* SKIP_DUPLICATED_PROOFS: used to skip the rebuild of AInvs and
Refine when building forked images such as CBaseRefine and
InfoFlowC

In addition, the QUICK_AND_DIRTY flag for AInvs has been changed:
INVS_QUICK_AND_DIRTY -> AINVS_QUICK_AND_DIRTY

run_tests: rewritten in python (used to be bash)

x64 cspec: temporarily sorry bitfield proofs

x64: create arch-specific CKernel

test: Reestablish ARM as the default platform for test

arm-hyp test: Adding exclusion test set for ARM_HYP + cleanup

arm-hyp: temporarily remove ASpec_ARM ExecSpec_ARM tests

arm-hyp: switch quick_and_dirty back on for Refine

(until those sorries are done)

arm-hyp: skip Refine proofs in CBaseRefine image for faster test

arm-hyp: enable CRefine + License tests; REFINE_QUICK_AND_DIRTY off

arm-hyp tests: fixing run_tests to work with testboard

arm-hyp tests: add Refine to the regression tests, quick_and_dirty set for Refine, unset for AInvs

arm-hyp test: Fix annoying handling of arguments in run_tests

arm-hyp test: add BaseRefine to regression, set up REFINE_QUICK_AND_DIRETY for Refine

arm-hyp test: default targets for arm-hyp, turn on quick_and_dirty for AInvs

arm-hyp test: regression for ARM_HYP

* add SpecCheck test, also add ASpec and ExecSpec tests for ARM arch
(the error messages that ARMxxx tests give are not prefixed with "ARM")
* export L4V_ARCH=ARM_HYP in run_tests

x64: add CI test setup

space tweak

Import release snapshot.