Merge branch 'master' of https://gitlab.fi.muni.cz/xstefan3/arqmath-eval