spec: add SetTLSBase invocation and update the registers (VER-807)

SELFOUR-1016: fix confused deputy problem when setting priorities

VER-849: abstractly declare a threads registers have changed

This removes an ifdef present in invokeTCB_(Copy|Write)Registers, and
adds the function Arch_postModifyRegisters which does nothing on any
arch except x86-64.

VER-717: refactor tpidrurwRegister and fix corresponding proof

arm: refactor sanitise_register to take a bool instead of a kernel_object

This simplified the sanitise_register logic in CRefine for arm-hyp.

x64: design: translated haskell spec now builds

provide TCB argument for sanitiseRegister

Other platforms such as arm-hyp will need to look into additional TCB state
such as VCPU in sanitiseRegister. This commit provides the scaffolding for
that.

ExecSpec: Changes to the haskell to better reflect ASpec

* atcbContextGet and atcbContextSet where added (just as in ASpec)

* asUser is now defined in terms of atcbContext{Get,Set}

* arch_tcb is now correctly imported as a datatype not as a type
synonym

tags: [VER-623][SELFOUR-413]

ExecSpec: arch-specific faults + VMFault -> ArchFault + ReservedIRQ

* skeletons, adding new constructs (arch_tcb, arch_fault)

* adjusting skeletons for ReserveIRQ + small change in haskell (ARM)

Changes in: spec/haskell/src/SEL4/Object/Interrupt/ARM.lhs:37:21
Due to "Defined but not used: ‘irq’"

* arch-splitting faults in skeletons (ARM)

* fix arch_tcb and asUser namespace issues in skeletons (ARM)

* checking in current generated files

tags: [VER-623][SELFOUR-413]

SELFOUR-553: update rpidrurw in TCBConfigure for simpler Infoflow proofs.

arch_split: fix proofs after removing shadow and unqualify commands and adding fix for crunch. Checks up to DPolicy.

arch_split: added namespacing to ExecSpec

paramatrised abstract and haskell specs over L4V_ARCH

Haskell translator was modified to support multiple translations
of the haskell, with different build parameters.

add arch_tcb object to C, rename aep -> ntfn

history squashed patch for aep-binding

fewer warnings

Import release snapshot.