eclipse: add support for plugins

Where "support for plugins" means that it is now possible to tell
eclipse about extra plugins in the nix expression. The specified plugins
will simply be copied to the eclipse "dropins/" directory.

With this change it is now possible to have a _deterministic_ deployment
of eclipse + a set of plugins, unlike the standard upstream / eclipse
way...

Tested with PyDev and GNU ARM Eclipse plugins.