Merge branch 'master' into local

.gitlab-ci.yml

execute.py

mkdocs.yml

src/index.md

src/lecture_1.md

src/lecture_2.md

src/lecture_3.md

src/lecture_4.md

src/lecture_5.md

src/lecture_6.md

src/lecture_7.md