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.