Deleted generateLTSfromPartition method body and created new class Minimizer to minimize LTS completely. Nothing exciting here.
Implemented first part of Minimization: Collapsing the LTS without removing redundant edges
Fixed a major bug: forgot that java does short circuit evaluation, now
actually computing all things i need in the Minimizer class.
Started implementing the Combining of unneeded edges. Not even remotely
finished.
Implemented reduction of labeled edges.
Merge branch 'minimizer'

Conflicts:
	src/kongruenz/Graph.java -- mostly used version from "minimizer", only left that debug outputs to syserr
	src/kongruenz/LTS.java -- same here
	src/kongruenz/Partition.java -- mostly used version from "minimizer", only kept that one method was public instead of private.
	src/kongruenz/util/GraphSearch.java -- same here