added random generator case for bool
removed auto generated file
removed old common core project which is not longer in use between plugins. The source files have been copied into the model checker since it still used it internally.

The model checker should either rename the package of these files or use the ICmlModel in Eclipse