haskell: removed outdated platforms

HaskellCPU and Alpha implementations have fallen far behind the current
kernel structure, haven't been used for years, and are not included in
the build.

Removing them to avoid confusion.
haskell: removed Lyrebird target

Consolidating to one simulator to get simulator builds running again. The
source setup is still for multiple potential targets so it remains reasonably
easy to add different architectures like x86 to the Haskell model if needed.
Make a failed Poll invocation detectable by the user

Presently there is no way to determine if a Poll was successfull or not.
Setting the badge to 0 will allow for a caller to observe that something
has happened. It is assumed that no 'real' client would have a zero badge
and so the absence of a badge indicates failure
manual: Fix documentation of Poll.

Closes JIRA SELFOUR-224
Merge branch master into experimental

Conflicts:
	haskell/README.md
	haskell/SEL4.cabal
	haskell/Setup.hs
	manual/parts/api/sel4_poll.tex