Merge pull request #4 from deniskoronchik/dev

[scripts] Fix geometry drawing component git origin
Merge pull request #5 from deniskoronchik/dev

[scripts] Switch sc-web to master branch
Merge pull request #6 from deniskoronchik/dev

[scripts] Improve knowledge base build
First part of definitions added
Encoding changed to UTF-8
[scripts] Add geometry.drawing component
[scripts] Fix geometry drawing component git origin
[scripts] Switch sc-web to master branch
[scripts] Improve knowledge base build
Исправленная кодировка Гаруля-Василец
Поправки в опрделениях
KB updated, multiple bugs fixed
Merge pull request #7 from ShunkevichDV/master

Scripts updated, KB updated
formal proofs for several statements added
Several formal definitions and statements added
Merge pull request #8 from ShunkevichDV/master

[kb]  Several formal proofs, definitions and statements added
[kb] struct descriprion updated
[kb] Encoding bug fixed
Merge pull request #9 from ShunkevichDV/master

[kb] struct description updated
[kb] absolute concepts updated