implement a compatibility check (in addition to the dependency check) when loading plugins
added a new Version element to every plugin.xml
adapted DTD accordingly
(MP2-351)