enabled prob model checker integration for the interpreter in the IDE

-use preferences to enabled it under debugger
enabled interpreter to run with model checker prob
included the binaries for all platforms in the pde build.

** note that tycho is partly broken for this type of build so I had to bindle all binaries with all platforms which is wrong. But adding the platform filters breaks the build. A release fix is to use -Pall-platforms and then the feature.xml un the probruntime feature src/main/resources/all which gives the right output. There is just no way I can copy the fixed features inplace during a Tycho build since it resolves the feature before I can replace it.
fixed wrong bundle id specified for probruntime in vdm launch delegate introduced in previous commit
another platform tycho fix that makes it possible to only include the right fragment. Otherwise a wrong path may have been obtained resulting in prob failing
cleanup
removed generated log file
fixed prob.home path creation to quite it on windows and not on any other platform
Merge branch 'origin/test'