Fixed a benchmark bug
Removed some useless and confusing code
Merge branch 'benchmark' into optimizations-backreferences

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