probability reach interface
Merge branch 'master' of https://github.com/rannieryjesuino/LoTuS-plugins

Conflicts:
	JavaLibrary1/nbproject/private/private.properties
	JavaLibrary1/nbproject/project.properties
	JavaLibrary1/src/br/uece/larces/jeri/lotus/reachability/DeadlockDetection.java
	JavaLibrary1/src/br/uece/lotus/modelcheck/ModelCheckPlugin.java
	JavaLibrary1/src/br/uece/lotus/modelcheck/ProbabilisticReach.java