Add post- and pre-methods to Lts
Minimize Lts in Main before printing
Add constant for the internal action
Add outTransitions method to Lts
Add @Override and final statements to Action, State and Transition
Implement Partition
Implement Bisimulation
Implement ObservationalCongruentCondensation
Implement calculateMinimal and calculatePartition partially
Update LtsTest to work with new Lts constructor
Merge branch 'master' into bisimilarity

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