Fix Eclipse update site name

Since documented options don't seem to work. Also output plug-in config used
in build.