Merge branch 'rework-installation' of...

Merge branch 'rework-installation' of https://gitlab.fi.muni.cz/inject/inject-docs into rework-installation