Merge branch 'mima_tud_fixed_v' of...

Merge branch 'mima_tud_fixed_v' of https://gitlab.fi.muni.cz/disa/public/hulls/mh-tree into mima_tud_fixed_v

# Conflicts:
#	src/mhtree/benchmarking/RunBenchmark.java