PROBCORE-315 Now use eclipse Monospace font size 10 in BUnit View
PROBCORE-160 imported Job framework from ProB 1. CBC checking now works.
PROBCORE-316 Packed the model checker object into an Eclipse job. Now the UI is much prettier.
Merge remote-tracking branch 'origin/develop' into feature/ss_refactoring