migrated mps util
Merge branch 'master' into mps30Final
migrated debugger
migrated core, ts tests mostly running, executables not yet tested
core migration done
fixed broken type system test
migrated doc
ext migrated. test not yet executed
converted to directory project
phys units and statemachines work
statemachines and component test work
core migration left overs which have been fixed during cc migration.
fixed problems introduced by broken migration :-(
made IConfigItem documentable; changed something in the core scripts.
merged
migrated mbeddr.cc
Merge remote-tracking branch 'origin/mps30Final' into mps30Final
migrated analyses. seems to work
fixed some of the analyses tests
nusmv tool seems to work again