haskell: explicitly import Prelude hiding Word

everywhere where it can clash with Word type defined by SEL4.

arm-hyp haskell: use consistent ARMHYP_SMMU tag

arm: ioportcontrol: Fixes after adding IOPortControlCaps to x64

Genericise deletion actions that occur after empty_slot

This patch adds a generic "post_cap_deletion" step that is called by
finalise_slot. Previous to this, the only caps which had actions
required at this stage were IRQHandlerCaps -- it was required that the
IRQ bitmap be updated after the cap itself was removed (as the
invariants state that for any existing IRQHandlerCap, the corresponding
bit in the IRQ bitmap must be set).

By genericising this, we add the capacity for new, arch-specific post
cap deletion actions to occur in the future.

misc: clean up before merging x64

haskell: integrate all architectures

* Extract wordSizeCase, wordBits et al into a helper file
* remove all references to tpidrurwRegister from non-arch files
* update sanitiseRegister, add getSanitiseRegisterInfo and
setTCBIPCBuffer for x64
* arch-split cnode rightsBits and guardBits

haskell: unify arm and arm-hyp haskell files

- both ARM and ARM_HYP haskell specs are now generated from the same set of files using cpp
- callbacks and platform files are merged into one directory (ARM)
- remove check-arm-hyp.py now that there are no ARM_HYP.lhs files

haskell: make ARM resemble the output of ARM_HYP preprocessing

The first step of merging the ARM hypervisor extensions into existing
ARM is to make the current ARM look like the preprocessed output of
ARM_HYP, which currently supports both platforms.

NOTE: this requires updates to ARM Refine and CRefine due to shuffling
around some constants (pteBits et al.). That is on its way.

haskell: add a stub for prepareThreadDelete

this is a function called from finailiseCap to prepare a tcb for deletion
(it does nothing for ARM)

SELFOUR-64: Remove general Recycle operation

This removes the RecycleCap CNodeInvocation, whilst
retaining recycle behaviour for Endpoints -- now renamed
CNodeCancelBadgedSends.

SELFOUR-444: Haskell implementation, begin refine.

First attempt at a haskell implementation of preemptible retyping
and the refinement proof to abstract.

haskell: move Haskell kernel into spec/