some minor doc tweaks.
labelOfLabeled -> labelOfLabeledTCB
Remove untaintLabeled
labelOfLIORef -> labelOfLIORefTCB
Make ThreadId opaque newtype wrapper

With hidden constructor
Replace functor class with generic function lFmap
Rework Privs and PrivDesc

Priv is now just a newtype wrapper around PrivDesc with the constructor
(MintTCB) hidden from non-TCB code. PrivDesc is a typeclass defining
canFlowToP_desc etc with function wrapper around them for calling the
same function with `Priv a`. We don't need a MintTCB class anymore,
since we can just use the constructor for Priv.
Merge remote-tracking branch 'gitstar/master' into master

Conflicts:
	lio/LIO/Privs.hs
	lio/LIO/Privs/TCB.hs
Move FS to it's own package
Packagify lio-handle
Remove ThreadId newtype

Instead return () from forkLIO
Remove killThread from lWait
Remove extraneous dependencies on PrivDesc

Add Monoid instance for Priv if PrivDesc is a Monoid
Make tests pass
Remove MonadIO wrapper from most operations
Fixes from @deian's comments
Fix export of dcTop dcBottom
DCLabel instance of Bounded
Fix tests
Bump to version 0.10.0.0