haskell: explicitly import Prelude hiding Word

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

Removes all trailing whitespaces

license-tool: missing license headers + .licenseignore [VER-551]

haskell: move Haskell kernel into spec/