Merge branch 'vlasta-candidates-leaf-hulls-static-and-candidates' of...

Merge branch 'vlasta-candidates-leaf-hulls-static-and-candidates' of https://gitlab.fi.muni.cz/disa/public/hulls/mh-tree into vlasta-candidates-leaf-hulls-static-and-candidates