Fixed benchmark name
Merge branch 'benchmark' into optimizations-backreferences

Conflicts:
	src/main/java/cz/muni/fi/publishsubscribe/countingtree/benchmark/Main.java