implement a compatibility check (in addition to the dependency check) when loading plugins
plugin.xml:
- added a new 'Version' element
- 'PluginReference' element now requires a 'CompatibleAPI' attribute
- added a 'CoreDependency' element for the allowed 'DependsOn' subelements
- adapted DTD accordingly
(MP2-351)