haskell: MCT added and fixes performance bug of deleteObjects

haskell/SEL4.cabal

haskell/include/mct.h

haskell/src/SEL4/API/Invocation.lhs

haskell/src/SEL4/API/Syscall.lhs

haskell/src/SEL4/Config.lhs

haskell/src/SEL4/Kernel/Init.lhs

haskell/src/SEL4/Kernel/Thread.lhs

haskell/src/SEL4/Kernel/VSpace/ARM.lhs

haskell/src/SEL4/Machine/Hardware/ARM/Callbacks.hs

haskell/src/SEL4/Machine/Hardware/ARM/Exynos4210.hs

haskell/src/SEL4/Machine/Hardware/GICInterface.hsc

haskell/src/SEL4/Machine/Hardware/MCTInterface.hsc

haskell/src/SEL4/Model/PSpace.lhs

haskell/src/SEL4/Object/Interrupt.lhs

haskell/src/SEL4/Object/Untyped.lhs