Merge
*finalStates array changed from int to boolean
*qeaType and method getQEAType added
*QEA type added to QEA
*Method computeVerdict added to monitors
*Verdict takes into account strong states for some QEA
Merge branch 'master' of https://github.com/selig/qea.git

Conflicts:
	code/qea/src/monitoring/impl/monitors/Incr_QVar0_NoFVar_Det_QEAMonitor.java
	code/qea/src/structure/impl/qeas/Abstr_QVar01_NoFVar_QEA.java
	code/qea/src/structure/impl/qeas/QVar01_FVar_Det_QEA.java
	code/qea/src/structure/intf/QEA.java