Merge branch 'master' of ssh://rtime.felk.cvut.cz/can-benchmark