Revision 416025

Modified <ignorePackage> tag occur inside the <configuration> tag instead
of the <osgiManifest> tag, since this is more intuitive to me, i.e.,
configuration data goes in configuration while actual manifest entries
go in osgiManifest. Currently, it still accepts <ignorePackage> inside
<osgiManifest>, but it will issue a warning if used.