Added some documents to clarify how microkernels (including scoreboard) work. They are attached to the main page and also available in the manual present in the tool itself.