Merge branch 'master' of https://github.com/mbeddr/mbeddr.core

Conflicts:
	code/languages/com.mbeddr.ext/tests/test.ts.ext.units/models/test/ts/ext/units/main@tests.mps
removing legacy documentation about installing yices and nusmv