Document design of the Interrupt Mangement Framework

Rebased version of #123 to resolve merge conflict