haskell-translator: add parsing of .hs files

In addition to .lhs only.

Removes all trailing whitespaces

SELFOUR-444: Adjust Haskell, new ghost data.

The new ghost data is saved in the design spec when Untyped caps
are modified and will be used by CRefine.

SELFOUR-276: Add MCP to specs and invariants

A thread's maximum controlled priority (MCP) determines the maximum
thread priority or MCP it can assign to another thread (or itself).

Haskell translator: can keep type constructors.

A skeleton line of the form
\#INCLUDE_SETTINGS keep_constructor=asidpool
now ensures that the asidpool type constructor is actually created in
subsequent #INCLUDE_HASKELL declarations. It turns out this feature was already
available, and already used for asidpools, this change just makes it externally
adjustable.

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

Haskell-translator mod (>>) to (>>_)

arch_split: replaced sublocale with global_naming

arch_split: added namespacing to ExecSpec

arch_split: use alternate "consts'" command which is (partially) localized

arch_split: avoid caching file_defs in translator to make CONTEXT environment function as expected

arch_split: apply CoreyR's qualification patch to translator

tools: haskell-translator: avoid needless case distinction

tools: haskell-translator: fix some minor issues found by pylint

tools: haskell-translator: remove unused import

tools: haskell-translator: use a Def class instead of a dict

tools: haskell-translator: use new-style classes

tools: haskell-translator: more sets instead of dicts

tools: haskell-translator: explicitly accept only one of ONLY, NOT or BODY

tools: haskell-translator: remove unused defsincludingarch

tools: haskell-translator: sprinkle some comments about type translation

tools: haskell-translator: emit not about type assignment warning

tools: haskell-translator: remove serialisable proofs

tools: haskell-translator: comment type_conv slightly

tools: haskell-translator: meaningless refactor of reduce_to_single_line

tools: haskell-translator: remove vestigial actual_fn handling

tools: haskell-translator: rename discard_n to discard_line_numbers

tools: haskell-translator: clean up create_def_2 somewhat

tools: haskell-translator: remove more T -> bool dicts-as-sets nonsense

tools: haskell-translator: use lists instead of dicts from T -> bool

tools: haskell-translator: use dict.get

tools: haskell-translator: minor cleanup to use generators/lazy iterables where applicable

tools: haskell-translator: python3 compat by running python-modernize

tools: haskell-translator: reformat with autopep8

tools: haskell-translator: use 'not in' instead of 'not ... in ...'

tools: haskell-translator: use 'is None' and 'is not None'

tools: haskell-translator: replace tabs inside strings and comments with spaces

tools: haskell-translator: autoformat python files with yapf

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

priority-bitmap: haskell translator: translate FiniteBits class

small fixes on haskell translator and haskell spec templates

discard explicit instance declarations for 'Show'

make-spec: Avoid generating unnecessary whitespace in instance proofs.

less disconcerting warning messages..

Import release snapshot.