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)
Merge pull request #19 from ShunkevichDV/master

small syntax bugs fixed
re-factored user interface menu
some fixes in UI knowledge base
fix some bugs; add initial content for help dialog
small fixes
Merge remote-tracking branch 'upstream/master'

ui command decomposition keynode changed in upstream repo