made the theory plugin a dependency of ProB (not just an optional dependency,
let's see if the build script can deal with this).