Merge branch 'master' of https://gitlab.fi.muni.cz/xkucer16/semanticBMS