Improved meta-model comparison, added parameter issue solutions, and discussed SMM meta-model errors.

Merge branch 'master' of build.se.informatik.uni-kiel.de:mamba

Conflicts:
	.classpath

* empty values in FunctionHandler will be treated now
* Fixed termination problem
* added library for OCL

* maybe fixed build failure

* bugfix in KdmManager (duplicated classes)