Calculate condensation bisimilar but not congruent
Remove selfloops in BisimilarCondensation
Add getTransitions, addState, addAction and addTransition to Lts
Implement TopologicalOrder
Implement LongestInternalPaths
Implement RedundantTransitionRemoval
Complete calculateMinimal in LtsMinimizer
Merge branch 'master' of https://github.com/JTSkywalker/NP-PraPro

Conflicts:
	src/com/pseuco/project/LtsMinimizer.java