Create new example
Added README for the Dijstra protocol model in VDM-SL
Bump tycho to 0.19.0
Add and delete System.out.println for debug
modify filename from TestSuite.java to Converter.java
Adding two new VDM-SL examples
Ignore .metadata directories (by jwc)
Merge commit '0b34aca1aef512756e49a063536c7dddca8a3516' into his/solv2

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/ProbSolverUtil.java
Add some methods for numerical expression
modify for test
Create for testing bool exps
add some numeric exps
create for testing set exps
Add some method for numeric, bool and set exps
modify prob expression
add some methods for sequence
create for test: trasnlation methods for sequence
Add test case
Create translation method for map data type
Create translation methods for map (dom, rng, mnuion, ++, merge, restrictions, apply)