Merge pull request #1 from jakubjosef/gh-pages

Added PROG2 and PROG3
zt1 initial
Merge changes from kuba
final zt1
4 finalized
index of presentations
Merge pull request #3 from jakubjosef/gh-pages

Added PROG7 and PROG8 (pdf versions)
version bumped
merge
used toctree
numbering cleanup
index finalized
no copyright
ontology
ontology continue
added unbuilded files
Merge branch 'gh-pages' of https://github.com/michaelkuty/ssz-ai-hk-3 into develop

Conflicts:
	.doctrees/environment.pickle
	.doctrees/prog/7.doctree
	.doctrees/prog/8.doctree
	_sources/prog/7.txt
	_sources/prog/8.txt
	index.html
	prog/7.html
	prog/8.html
	searchindex.js
merged news from original repo