Eclipse plugins

The tool is available as two eclipse plugins:

The update site has been disabledd, now these plugins must be compiled and installed manually.