haskell: explicitly import Prelude hiding Word

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

x64: Add IOPortControlCaps to control IO port allocation

The previous implementation of IOPortCaps has problems with revocability
and determining parency etc. This commit adds IOPortControlCaps which
behave identically to IRQControlCaps -- invoking the IOPortControlCap
allows one to create IOPortCaps with the supplied range.

There now exist invariants to show that there is only one
IOPortControlCap and that all IOPortCaps in the system do not overlap.
Furthermore there is a global record of which IO ports have been
allocated to prevent reissuing the same ports.

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.

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

Removes all trailing whitespaces

SELFOUR-64: Remove general Recycle operation

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

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.

x64: remove "isDevice" flags from Haskell specification

We will return these when the device-untyped patch is verified and integrated
with the ARM proofs. For now, we want to be able to keep the proofs for the ARM
architecture checking in the x64 branch.

x64: add x64 haskell code from seL4 repository

haskell: move Haskell kernel into spec/