Fixed ReduceTask algorithm, it now double checks the blocks that have transitions to the block being split
changed Action.Tau definition so that it now represents the actual utf8 character tau
Merge branch 'PartitionsAlgorithmus'

Conflicts:
	src/kongruenz/objects/Action.java
	src/kongruenz/util/Main.java