updated test framework such that it reports the result when failing on no result file. Also added the actual result to the tostring of the result class.
updated solver integration with better support for Tokens and new support for quotes
added quote and token tests to the solver integration
added more debug output for prob failures
added test for issue 194, the test is added as success but should be fail
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
improved translation and error reporting for token type translation to/from prob
merge 813ebcb996228a6872eb2b493b63d11fbf0032d0