all: remove theory import path references

In Isabelle2020, when isabelle jedit is started without a session
context, e.g. `isabelle jedit -l ASpec`, theory imports with path
references cause the isabelle process to hang.

Since sessions now declare directories, Isabelle can find those files
without path reference and we therefore remove all such path references
from import statements. With this, `jedit` and `build` should work with
and without explicit session context as before.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX

arm aspec: update PageMap to replace PageRemap (SELFOUR-161)

global: isabelle update_cartouches

Updated specs and proofs for SELFOUR-1491: control IRQ triggering on ARM.

x64: more abstract specs and invariants for ASIDs

VER-853: put arch_check_irq into the Arch locale, and update x64 to match C

Removes all trailing whitespaces

SELFOUR-421: AInvs done, no added invariants yet

SELFOUR-421: first attempt at abstract spec

lib/spec/proof/tools: fix word change fallout

arch_split: replaced sublocale with global_naming

arch_split: added ARM_A and ARM_H locales

arch_split: More namespacing progress and invariant splitting. Checks halfway into Invariants_AI

paramatrised abstract and haskell specs over L4V_ARCH

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