Merge branch 'rework-tool-ui' of https://gitlab.fi.muni.cz/inject/frontend into rework-tool-ui