Merge pull request #17 from ShunkevichDV/master

sc_agent_of_set_cantorization described
Merge pull request #18 from ShunkevichDV/master

SCP description added (1st version)
small syntax bugs fixed
Merge pull request #19 from ShunkevichDV/master

small syntax bugs fixed
re-factored user interface menu
Merge branch 'master' of github.com:ShunkevichDV/ims.ostis.kb
some fixes in UI knowledge base
fix some bugs; add initial content for help dialog
small fixes
SCn, SCs, SCg description updated
Merge remote-tracking branch 'upstream/master'

ui command decomposition keynode changed in upstream repo
Introductions fixed
some work on UI
SCn, SCg, SCs - keynodes added
Merge remote-tracking branch 'upstream/master'

pulling in missing ui keynode(s)
BNM section added
Merge remote-tracking branch 'origin/master'
BNM description added
Merge branch 'master' of github.com:ShunkevichDV/ims.ostis.kb
improve ui