read version for plug-ins from manifest (replaced quick and dirty code
in CompiledPlugin.getVersion())