Merge branch 'develop' of https://gitlab.fi.muni.cz/xopaleny/LoopGrafter-Frontend into develop