modify test data
create methods to obtain map, an element from a set whose cardinary is 1 in BtoVdmConverter.java
added test for the default implicit expression compass needs
implemented the b to vdm construct unary minus
Merge branch 'origin/pvj/main'
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
changed the native link to prob to static. Only one machine config is being used at the moment so we dont need to re-init the machine. Major speed improvement
excluded maven goal from eclipse
fixed null pointer errors after merging in new fix where static calls has been reduced
fixes #258
reverted pdflatex integration to pdflatex + added support for xetex and moved preference page to latex plugin (moved from ui)
Merge branch 'development'
changed CR LF
Merge branch 'origin/assistant-rewrite'

Conflicts:
	core/pog/src/main/java/org/overture/pog/obligation/ParameterPatternObligation.java
Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite

Conflicts:
	core/pog/src/main/java/org/overture/pog/obligation/ParameterPatternObligation.java
	core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java