haskell-translator: enable RISCV64 target

haskell translator: Improve error handling of make_spec.sh

* make_spec.sh was generating a `version` file regardless of the
outcome of the script, this was causing `make design` (in
spec/design) to always succeed when ran a second time, which in
was generating confusing (and semi-non-deterministic) error
messages when called through `./run-test`

tags: [NO_PROOF]

misc: clean up before merging x64

haskell translator: make compatible with bash 3

Rewrite associative array usage as a function lookup.

OSX users do not have access to a non-ancient /bin/bash by default and
complain that our use of associative arrays (declare -A) does not work.

Tags: VER-802

design: create arch directories in haskell translator

Architecture directories were previously created in the Makefile, and
not in make_spec.sh. As a result, running make_spec would fail on a
clean repo.

haskell translator: change cpp options for ARM_HYP to use unified ARM haskell files

arm-hyp execspec: add skel/ARM_HYP, m-skel/ARM_HYP, make haskell-translator work for ARM_HYP

(copied from ARM)
Per-plaform CPP configuration for spec-check and make-spec.

The configuration is still duplicated between the two scripts, but now
the translation/check for ARM_HYP will use correct CPP settings.

arm-hyp haskell: changes from meeting

x64: haskell-translator: make translator use whitespace removal tool

backport changes to ARM proofs from X64 work in progress

- replace ARM-specific constants and types with aliases which can be
instantiated separately for each architecture.
- expand lib with lemmas used in X64 proofs.
- simplify some proofs.

Also-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

VER-559: patch ./make_spec.sh with the new Haskell location

x64: add arch_split'd x64 spec with IOMMU stuff

paramatrised abstract and haskell specs over L4V_ARCH

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

Adjust make_spec.sh to handle other working dirs.

Demanding that the tool be run from its own directory was getting
silly considering how far away that is from the resources it operates
on.

update comments; fix version generation

fix haskell version generation

Import release snapshot.